Sciweavers

4095 search results - page 395 / 819
» How to test a tree
Sort
View
ICRA
2002
IEEE
142views Robotics» more  ICRA 2002»
15 years 11 months ago
Hybrid Simultaneous Localization and Map Building: Closing the Loop with Multi-Hypotheses Tracking
In this paper simultaneous localization and map building is performed with a hybrid, metric - topological, approach. A global topological map connects local metric maps, allowing ...
Nicola Tomatis, Illah R. Nourbakhsh, Roland Siegwa...
CIKM
2006
Springer
15 years 10 months ago
Investigating the exhaustivity dimension in content-oriented XML element retrieval evaluation
INEX, the evaluation initiative for content-oriented XML retrieval, has since its establishment defined the relevance of an element according to two graded dimensions, exhaustivit...
Paul Ogilvie, Mounia Lalmas
CSFW
2010
IEEE
15 years 10 months ago
Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
Adam J. Lee, Ting Yu
CHI
2008
ACM
15 years 8 months ago
Effects of intelligent notification management on users and their tasks
We present a novel system for notification management and report results from two studies testing its performance and impact. The system uses statistical models to realize defer-t...
Shamsi T. Iqbal, Brian P. Bailey
FM
2008
Springer
77views Formal Methods» more  FM 2008»
15 years 8 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell