3095 search results - page 475 / 619 » Ubiquitous presence systems |
RTAS
1996
IEEE
14 years 1 months ago
1996
IEEE
We propose a lightweight fault-tolerant multicast and membership service for real-time process groups which may exchange periodic and aperiodic messages. The service supports boun...
EPIA
2009
Springer
14 years 25 days ago
2009
Springer
This paper presents an approach to endow a humanoid robot with the capability of learning new objects and recognizing them in an unstructured environment. New objects are learnt, w...
GI
2009
Springer
14 years 25 days ago
2009
Springer
: Large traffic network systems require handling huge amounts of data, often distributed over a large geographical region in space and time. Centralised processing is not then the ...
ATAL
2006
Springer
14 years 21 days ago
2006
Springer
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...
ATVA
2006
Springer
14 years 21 days ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...