1650 search results - page 227 / 330 » The HOM problem is decidable |
168
click to vote
ICRA
2006
IEEE
16 years 11 days ago
2006
IEEE
—Traditionally, simultaneous localization and mapping (SLAM) algorithms solve the localization and mapping problem in explored regions. This paper presents a prediction-based SLA...
177
click to vote
LICS
2006
IEEE
16 years 11 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
148
click to vote
RTSS
2006
IEEE
16 years 10 days ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
166
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
In traditional access control models like MAC, DAC, and RBAC, authorization decisions are determined according to identities of subjects and objects, which are authenticated by a ...
167
click to vote
LCTRTS
2005
Springer
15 years 12 months ago
2005
Springer
Mobile computing based upon wireless technology as the interconnect and PDAs, Web-enabled cell phones etc. as the end devices provide a rich infrastructure for anywhere, anytime i...