3865 search results - page 628 / 773 » From Bidirectionality to Alternation |
186
click to vote
ICRA
2007
IEEE
16 years 24 days ago
2007
IEEE
— Recently it has been shown that an inverse depth parametrization can improve the performance of real-time monocular EKF SLAM, permitting undelayed initialization of features at...
187
click to vote
INFOCOM
2007
IEEE
16 years 24 days ago
2007
IEEE
— Consider a generic data unit of random size L that needs to be transmitted over a channel of unit capacity. The channel dynamics is modeled as an on-off process {(Ai, Ui)}i≥1...
141
click to vote
INFOCOM
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract— This paper investigates the dissemination of multiple pieces of information in large networks where users contact each other in a random uncoordinated manner, and users...
165
click to vote
CAV
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
171
click to vote
ESWS
2007
Springer
16 years 20 days ago
2007
Springer
Annotea provides an annotation protocol to support collaborative Semantic Web-based annotation of digital resources accessible through the Web. It provides a model whereby a user m...