5863 search results - page 798 / 1173 » On Model-Checking of P Systems |
172
click to vote
MM
2004
ACM
16 years 6 days ago
2004
ACM
BiReality (a.k.a. Mutually-Immersive Telepresence) uses a teleoperated robotic surrogate to provide an immersive telepresence system for face-to-face interactions. Our goal is to ...
184
click to vote
CAISE
2004
Springer
16 years 5 days ago
2004
Springer
Fueled by the omnipresence of event logs in transactional information systems (cf. WFM, ERP, CRM, SCM, and B2B systems), process mining has become a vivid research area. Until rece...
198
click to vote
RULEML
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
185
click to vote
CEEMAS
2003
Springer
16 years 17 hour ago
2003
Springer
Flexibility and adaptability are essential properties of intelligent manufacturing systems. However, it is a major challenge to realize these properties and the benefits of a flexi...
139
click to vote
ICES
2003
Springer
16 years 35 min ago
2003
Springer
It is clear to all, after a moments thought, that nature has much we might be inspired by when designing our systems, for example: robustness, adaptability and complexity, to name ...