2468 search results - page 473 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
130
click to vote
RSS
2007
15 years 4 months ago
2007
Abstract— We consider the task of omnidirectional path following for a quadruped robot: moving a four-legged robot along any arbitrary path while turning in any arbitrary manner....
151
click to vote
SIGMOD
2010
ACM
15 years 1 months ago
2010
ACM
One useful feature that is missing from today’s database systems is an explain capability that enables users to seek clarifications on unexpected query results. There are two t...
126
click to vote
SSDBM
2005
IEEE
15 years 8 months ago
2005
IEEE
Data products generated from remotely-sensed, geospatial imagery (RSI) used in emerging areas, such as global climatology, environmental monitoring, land use, and disaster managem...
153
click to vote
PE
2011
Springer
14 years 10 months ago
2011
Springer
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...
141
click to vote
CIKM
2011
Springer
14 years 3 months ago
2011
Springer
Traditional information retrieval techniques based on keyword search help to identify a ranked set of relevant documents, which often contains many documents in the top ranks that...