Temporal concurrent constraint programmingVALENCIA, Frank D.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42863-1, p. 786Conference Paper

Temporal constraint satisfaction on causal models = Satisfaction de contrainte temporelle sur les modèles de causalitéCONSOLE, L; TORASSO, P.Information sciences. 1993, Vol 68, Num 1-2, pp 1-32, issn 0020-0255Article

Incrementally scheduling with qualitative temporal informationLAUNAY, Florent; MITRA, Debasis.Lecture notes in computer science. 2005, pp 229-231, issn 0302-9743, isbn 3-540-26551-1, 3 p.Conference Paper

Musical harmonization with constraints: A surveyPACHET, Francois; ROY, Pierre.Constraints (Dordrecht). 2001, Vol 6, Num 1, pp 7-19, issn 1383-7133Conference Paper

Architecture matérielle pour implantation de réseaux de neurones en temps réel = Hardware architecture for real-time neural networks implementationKHATCHADOURIAN, Sonia; RAMANAN, Narayanan; PREVOTET, Jean-Christophe et al.Colloque sur le traitement du signal et des images. 2009, pp 54-55, 1Vol, 2 p.Conference Paper

A note on the modelling of project networks with time constraintsCARAMIA, Massimiliano; GUERRIERO, Francesca.European journal of operational research. 2011, Vol 211, Num 3, pp 666-670, issn 0377-2217, 5 p.Article

Learning and solving soft temporal constraints: An experimental studyROSSI, Francesca; SPERDUTI, Alessandro; VENABLE, Kristen B et al.Lecture notes in computer science. 2002, pp 249-263, issn 0302-9743, isbn 3-540-44120-4, 15 p.Conference Paper

New proposal for enhancing the interactive capability in MPEG-4TRAN, S. M; PREDA, M; PRETEUX, F. J et al.IEEE Workshop on Multimedia Signal Processing. 2004, pp 415-418, isbn 0-7803-8578-0, 1Vol, 4 p.Conference Paper

A multi-agent cell controller integrating temporal and precedence constraints : Application issuesBOUZOUIA, B; BOUCHEMMA, R.IEEE International Conference on Robotics and Automation. 2004, pp 523-528, isbn 0-7803-8232-3, 5Vol, 6 p.Conference Paper

Modeling spatio-temporal constraints for multimedia objectsKWON, Y.-M; FERRARI, E; BERTINO, E et al.Data & knowledge engineering. 1999, Vol 30, Num 3, pp 217-238, issn 0169-023XArticle

Vérification temporelle de descriptions comportementales en VHDL = Temporal verification of behavioural. Descriptions in VHDLBoussebha, Djamel; Giambiasi, Norbert.1993, 110 p.Thesis

Representing and recognizing scenario patternsJIXIN MA; BIN LUO.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28312-9, 2Vol, Part II, 140-149Conference Paper

Temporal dependency for dynamic verification of temporal constraints in workflow systemsJINJUN CHEN; YUN YANG.Lecture notes in computer science. 2004, pp 1005-1008, issn 0302-9743, isbn 3-540-23564-7, 4 p.Conference Paper

A Generalized Temporal role-based access control modelJOSHI, James B. D; BERTINO, Elisa; LATIF, Usman et al.IEEE transactions on knowledge and data engineering. 2005, Vol 17, Num 1, pp 4-23, issn 1041-4347, 20 p.Article

Spatial and temporal constraints in variational correspondence methodsRALLI, Jarno; DIAZ, Javier; ROS, Eduardo et al.Machine vision and applications. 2013, Vol 24, Num 2, pp 275-287, issn 0932-8092, 13 p.Article

Character-based cladistics and answer set programmingBROOKS, Daniel R; ERDEM, Esra; MINETT, James W et al.Lecture notes in computer science. 2005, pp 37-51, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Strategies for global optimization of temporal preferencesMORRIS, Paul; MORRIS, Robert; KHATIB, Lina et al.Lecture notes in computer science. 2004, pp 408-422, issn 0302-9743, isbn 3-540-23241-9, 15 p.Conference Paper

Programmation par contraintes pour la gestion du trafic ferroviaire = Constraint programming for rai traffic managementRODRIGUEZ, Joaquin.Génie logiciel (1995). 2002, Num 63, pp 34-39, issn 1265-1397, 6 p.Article

Objets à contrôle réactif : Un modèle de conception pour applications concurrentes = Reactive controlled objects : A design model for concurrent applicationsAUGERAUD, M; BERTRAND, F.TSI. Technique et science informatiques. 1999, Vol 18, Num 8, pp 871-899, issn 0752-4072Article

Réseau de Petri temporel étendu : Proposition d'un nouveau modèle basé sur les réseaux de Petri temporels = Extened time Petri net: proposition fo a new model based on the time Petri netsEL TOUATI, Yamen; BEN HADJ ALOUANE, Nejib; YEDDES, Moez et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 207-222, issn 1269-6935, 16 p.Conference Paper

Consistency of temporal XML documentsCAMPO, Marcela; VAISMAN, Alejandro.Lecture notes in computer science. 2006, pp 31-45, issn 0302-9743, isbn 3-540-38877-X, 1Vol, 15 p.Conference Paper

Cross-media and elastic time adaptive presentations: The integration of a Talking head tool into a hypermedia formatterFERREIRA RODRIGUES, Rogério; LUCENA RODRIGUES, Paula Salgado; FEIJO, Bruno et al.Lecture notes in computer science. 2004, pp 215-224, issn 0302-9743, isbn 3-540-22895-0, 10 p.Conference Paper

Complexity results for POMSET languagesFEIGENBAUM, J; KAHN, J. A; LUND, C et al.SIAM journal on discrete mathematics (Print). 1993, Vol 6, Num 3, pp 432-442, issn 0895-4801Article

Non-contiguous sequence pattern queriesMAMOULIS, Nikos; MAN LUNG YIU.Lecture notes in computer science. 2004, pp 783-800, issn 0302-9743, isbn 3-540-21200-0, 18 p.Conference Paper

Dynamic verification of temporal constraints on-the-fly for workflow systemsJINIUN CHEN; YUN YANG; CHEN, T. Y et al.Asia-Pacific software engineering conference. 2004, pp 30-37, isbn 0-7695-2245-9, 1Vol, 8 p.Conference Paper