Team formation for reformation in multiagent domains like RoboCupRescueNAIR, Ranjit; TAMBE, Milind; MARSELLA, Stacy et al.Lecture notes in computer science. 2003, pp 150-161, issn 0302-9743, isbn 3-540-40666-2, 12 p.Conference Paper

On ANN based solutions for real-world industrial requirementsMADANI, Kurosh.Lecture notes in computer science. 2004, pp 79-90, issn 0302-9743, isbn 3-540-22123-9, 12 p.Conference Paper

Constraint processing techniques for model-based reasoning about dynamic systemsPANATI, Andrea.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42863-1, p. 776Conference Paper

Determining the gender of the unseen name through hyphenationWARREN, Robert H; LEURER, Christopher.Lecture notes in computer science. 2004, pp 510-511, issn 0302-9743, isbn 3-540-22125-5, 2 p.Conference Paper

GASPAR: Simulateur à base de modèles pour la Supervision de Réseaux de Télécommunication = GASPAR: a Model-Based Simulator for Telecommunication NetworksBibas, Serge; Dague, Philippe.1997, 175 p.Thesis

Using simulated students for machine learningSTATHACOPOULOU, Regina; GRIGORIADOU, Maria; SAMARAKOU, Maria et al.Lecture notes in computer science. 2004, pp 889-891, issn 0302-9743, isbn 3-540-22948-5, 3 p.Conference Paper

A generic Adaptivity model in adaptive hypermediaDE VRIEZE, Paul; VAN BOMMEL, Patrick; VAN DER WEIDE, Theo et al.Lecture notes in computer science. 2004, pp 344-347, issn 0302-9743, isbn 3-540-22895-0, 4 p.Conference Paper

Steering law in an environment of spatially coupled style with matters of pointer size and trajectory widthNAITO, Satoshi; KITAMURA, Yoshifumi; KISHINO, Fumio et al.Lecture notes in computer science. 2004, pp 305-316, issn 0302-9743, isbn 3-540-22312-6, 12 p.Conference Paper

Model-based design of adaptive user interfaces through connectorsLOPEZ-JAQUERO, Victor; MONTERO, Francisco; MOLINA, Josh P et al.Lecture notes in computer science. 2003, pp 245-257, issn 0302-9743, isbn 3-540-20159-9, 13 p.Conference Paper

L'explosion métacombinatoire = The metacombinatorial explosionPITRAT, J.11th Conference on Shape recognition and artificial intelligenceReconnaissance des formes et intelligence artificielle. Congrès. 1997, pp 31-42, 3VolConference Paper

Improving space-efficiency in temporal text-indexingNØRVAG, Kjetil; NYBØ, Albert Overskeid.Lecture notes in computer science. 2005, pp 791-802, issn 0302-9743, isbn 3-540-25334-3, 12 p.Conference Paper

Local pattern-based interval modelsCHOLEWA, Wojciech.Lecture notes in computer science. 2004, pp 948-953, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

Adaptive course player for individual learning stylesREINHARDT, Katja; APELT, Stefan; SPECHT, Marcus et al.Lecture notes in computer science. 2004, pp 320-323, issn 0302-9743, isbn 3-540-22895-0, 4 p.Conference Paper

Fixed points of type constructors and primitive recursionABEL, Andreas; MATTHES, Ralph.Lecture notes in computer science. 2004, pp 190-204, issn 0302-9743, isbn 3-540-23024-6, 15 p.Conference Paper

Improved cell-DEVS model definition in CD++LOPEZ, Alejandro; WAINER, Gabriel.Lecture notes in computer science. 2004, pp 803-812, issn 0302-9743, isbn 3-540-23596-5, 10 p.Conference Paper

A BDI approach to infer student's emotionsJAQUES, Patricia A; VICCARI, Rosa M.Lecture notes in computer science. 2004, pp 901-911, issn 0302-9743, isbn 3-540-23806-9, 11 p.Conference Paper

Intelligent assumption retrieval from process models by model-based reasoningLAKNER, R; HANGOS, K. M.Lecture notes in computer science. 2001, pp 145-154, issn 0302-9743, isbn 3-540-42219-6Conference Paper

Model-driven Web development with VisualWADEGOMEZ, Jaime.Lecture notes in computer science. 2004, pp 611-612, issn 0302-9743, isbn 3-540-22511-0, 2 p.Conference Paper

Explicit local models: Towards optimal optimization algorithmsPOLAND, Jan.Lecture notes in computer science. 2004, pp 569-571, issn 0302-9743, isbn 3-540-23105-6, 3 p.Conference Paper

Epistemic foundation of the well-founded semantics over bilatticesLOYER, Yann; STRACCIA, Umberto.Lecture notes in computer science. 2004, pp 513-524, issn 0302-9743, isbn 3-540-22823-3, 12 p.Conference Paper

Hiord: A type-free higher-order logic programming language with predicate abstractionCABEZA, Daniel; HERMENEGILDO, Manuel; LIPTON, James et al.Lecture notes in computer science. 2004, pp 93-108, issn 0302-9743, isbn 3-540-24087-X, 16 p.Conference Paper

Verifiable shuffles: A formal model and a paillier-based efficient construction with provable securityNGUYEN, Lan; SAFAVI-NAINI, Rei; KUROSAWA, Kaoru et al.Lecture notes in computer science. 2004, pp 61-75, issn 0302-9743, isbn 3-540-22217-0, 15 p.Conference Paper

Approximate reasoning with timeRAHA, S; KUMAR SANKAR RAY.Fuzzy sets and systems. 1999, Vol 107, Num 1, pp 59-79, issn 0165-0114Article

A characterization of contrastive explanations computationKEAN, A.Lecture notes in computer science. 1998, pp 599-610, issn 0302-9743, isbn 3-540-65271-XConference Paper

A versatile model-based visibility measure for geometric primitivesELLENRIEDER, Marc M; KRÜGER, Lars; STÖSSEL, Dirk et al.Lecture notes in computer science. 2005, pp 669-678, issn 0302-9743, isbn 3-540-26320-9, 10 p.Conference Paper