3530 articles – 5253 Notices  [english version]
.:. Consultation > Liste par discipline > Autre .:.
3333 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
Modèle des données à base de règles : de la construction au pilotage
Cadot M.
In L'analyse statistique implicative, Méthode exploratoire et confirmatoire à la recherche de causalités, Cépaduès (Ed.) (2013) 299-312 [hal-00801618 - version 1]
fulltext access CrowdSC: Building Smart Cities with Large Scale Citizen Participation
Benouaret K., Valliyur-Ramalingam R., Charoy F.
[hal-00803702 - version 1]
L'informatique nomade, c'est la liberté !
Quinson M., Bach J.-C.
Interstices (2013) [hal-00794187 - version 1]
fulltext access Framework for Coordination of Activities in Dynamic Situations
Franke J., Charoy F., El Khoury P.
Enterprise Information Systems 7, 1 (2013) 33-60 [hal-00726746 - version 2]
fulltext access A Proposition for Fixing the Dimensionality of a Laplacian Low-rank Approximation of any Binary Data-matrix
Lelu A., Cadot M.
Dans The Fifth International Conference on Information, Process, and Knowledge Management (eKNOW 2013) (2013) 70-73 [hal-00773436 - version 1]
Fouille d'images animées : cinéradiographies d'un locuteur
Busset J., Cadot M.
Dans FOSTA 2013, atelier de EGC 2013 (2013) 1-12 [hal-00773448 - version 1]
Business Process Compositions: Preserving k-soundness property
Bessai K., Youcef S., Godart C., Nurcan S.
Dans The 2012 IEEE Asia-Pacific Services Computing Conference (2012) 1-10 [hal-00763472 - version 1]
fulltext access Computability of the ergodic decomposition
Hoyrup M.
Annals of Pure and Applied Logic (2012) [hal-00746473 - version 1]
Handling Heterogeneity in Formal Developments of Hardware and Software Systems
Ait Ameur Y., Méry D.
Dans Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings 7610 (2012) 327-328 [hal-00743810 - version 1]
fulltext access On Measuring Similarity for Sequences of Itemsets
Egho E., Raïssi C., Calders T., Jay N., Napoli A.
N° RR-8086 (2012) [hal-00740231 - version 2]