1010 search results - page 137 / 202 » A Database Approach to Distributed State Space Generation |
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
—This paper presents an alternative formulation for the Bayesian feature-based simultaneous localisation and mapping (SLAM) problem, using a random finite set approach. For a fe...
115
click to vote
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
150
click to vote
SIGMOD
2007
ACM
15 years 10 months ago
2007
ACM
Database queries are often exploratory and users often find their queries return too many answers, many of them irrelevant. Existing work either categorizes or ranks the results t...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imp...
101
click to vote
MODELS
2010
Springer
14 years 8 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...