Result 1 to 20 of 33 total
Solving the international timetabling competition: a deterministic approach. (English)
Fundam. Inform. 113, No. 1, 1-18 (2011).
1
Belief merging using normal forms. (English)
Batyrshin, Ildar (ed.) et al., Advances in artificial intelligence. 10th Mexican international conference on artificial intelligence, MICAI 2011, Puebla, Mexico, November 26‒December 4, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-25323-2/pbk). Lecture Notes in Computer Science 7094. Lecture Notes in Artificial Intelligence, 40-51 (2011).
2
Belief merging using normal forms (English)
MICAI (1), 40-51 (2011).
3
MICOBS: multi-platform multi-model component based software development framework (English)
CBSE, 1-10 (2011).
4
Switching noise optimization in the wake-up phase of leakage-aware power gating structures. (English)
Monteiro, José (ed.) et al., Integrated circuit and system design. Power and timing modeling, optimization and simulation. 19th international workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11801-2/pbk). Lecture Notes in Computer Science 5953, 76-85 (2010).
5
Preliminary feasibility analysis of component based modelling and automatic Java code generation for nanosatellite on-board software: short paper (English)
JTRES, 79-81 (2010).
6
Optimization of clock-gating structures for low-leakage high-performance applications (English)
ISCAS, 3220-3223 (2010).
7
Implementing PS-Merge operator. (English)
Aguirre, Arturo Hernández (ed.) et al., MICAI 2009: Advances in artificial intelligence. 8th Mexican international conference on artificial intelligence, Guanajuato, México, November 9‒13, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-05257-6/pbk). Lecture Notes in Computer Science 5845. Lecture Notes in Artificial Intelligence, 39-50 (2009).
8
Integrating state constraints and obligations in situation calculus (English)
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 13, No. 41, 54-63 (2009).
9
Switching noise optimization in the wake-up phase of leakage-aware power gating structures (English)
PATMOS, 76-85 (2009).
10
Implementing PS-merge operator (English)
MICAI, 39-50 (2009).
11
Partial satisfiability-based merging. (English)
Gelbukh, Alexander (ed.) et al., MICAI 2007: Advances in artificial intelligence. 6th Mexican international conference on artificial intelligence, Aguascalientes, Mexico, November 4‒10, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76630-8/pbk). Lecture Notes in Computer Science 4827. Lecture Notes in Artificial Intelligence, 225-235 (2007).
12
Planning using situation calculus, prolog and a mobile robot (English)
LA-NMR (2007).
13
Partial satisfiability-based merging (English)
MICAI, 225-235 (2007).
14
Asymmetric clock driver for improved power and noise performances (English)
ISCAS, 893-896 (2007).
15
Model-based belief merging without distance measures (English)
AAMAS, 154 (2007).
16
Latin-american workshop on non-monotonic reasoning, Proceedings of the LA-NMR07 workshop, benemérita universidad autónoma de Puebla, Puebla, pue., Mexico, 17th - 19th September 2007 (English)
CEUR Workshop Proceedings: LA-NMR 286 (2007).
17
Belief revision in the situation calculus without plausibility levels. (English)
Esposito, Floriana (ed.) et al., Foundations of intelligent systems. 16th international symposium, ISMIS 2006, Bari, Italy, September 27‒29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45764-0/pbk). Lecture Notes in Computer Science 4203. Lecture Notes in Artificial Intelligence, 504-513 (2006).
18
Integrating state constraints and obligations in situation calculus (English)
LA-NMR (2006).
19
EDROOM, herramienta libre de modelado y generación automática de código para sistemas de tiempo real (English)
DSDM (2006).
20
Result 1 to 20 of 33 total
Start
Contact
Print
General Help
