1529 search results - page 87 / 306 » Energy-Based Models of P Systems |
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
—This article describes a rigorous and complete framework for the simultaneous localization and map building problem for mobile robots: the symmetries and perturbations map (SPma...
DOCENG
2006
ACM
15 years 3 months ago
2006
ACM
This paper presents a system that exploits the benefits of modelling multimedia presentations as structured documents within the context of interactive digital television systems....
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
DSN
2006
IEEE
15 years 3 months ago
2006
IEEE
Peer-to-peer systems provide the opportunity to pool large amounts of distributed resources to enable internetscale applications. However, the participant nodes are highly dynamic...
ISVLSI
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we introduce a novel context sensitive system design paradigm. Multiple sensors/ computational architecture, in the form of our eWatch device, is used to infer the ...