Sciweavers

120 search results - page 18 / 24
» Merging partial behavioural models
Sort
View
PVLDB
2010
89views more  PVLDB 2010»
13 years 8 months ago
Recognizing Patterns in Streams with Imprecise Timestamps
Large-scale event systems are becoming increasingly popular in a variety of domains. Event pattern evaluation plays a key role in monitoring applications in these domains. Existin...
Haopeng Zhang, Yanlei Diao, Neil Immerman
ICRA
2010
IEEE
133views Robotics» more  ICRA 2010»
13 years 8 months ago
Variable resolution decomposition for robotic navigation under a POMDP framework
— Partially Observable Markov Decision Processes (POMDPs) offer a powerful mathematical framework for making optimal action choices in noisy and/or uncertain environments, in par...
Robert Kaplow, Amin Atrash, Joelle Pineau
IJSNET
2007
95views more  IJSNET 2007»
13 years 9 months ago
On extracting consistent graphs in wireless sensor networks
: Robustness and security of services like localisation, routing and time synchronisation in Wireless Sensor Networks (WSNs) have been critical issues. Efficient mathematical (gra...
Murtuza Jadliwala, Qi Duan, Jinhui Xu, Shambhu J. ...
ENTCS
2002
144views more  ENTCS 2002»
13 years 9 months ago
Logics and Multi-agents: towards a new symbolic model of cognition
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
Paolo Torroni
ENTCS
2008
106views more  ENTCS 2008»
13 years 10 months ago
Modelling Adaptive Systems in ForSyDe
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...
Ingo Sander, Axel Jantsch