3865 search results - page 628 / 773 » From Bidirectionality to Alternation |
210
Voted
ICRA
2007
IEEE
16 years 1 months 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...
204
Voted
INFOCOM
2007
IEEE
16 years 1 months 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...
162
click to vote
INFOCOM
2007
IEEE
16 years 1 months 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...
188
click to vote
CAV
2007
Springer
16 years 1 months 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 ...
193
click to vote
ESWS
2007
Springer
16 years 1 months 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...