893 search results - page 56 / 179 » Environment Assumptions for Synthesis |
94
Voted
IJAR
2008
15 years 23 days ago
2008
When an incremental structural learning method gradually modifies a Bayesian network (BN) structure to fit observations, as they are read from a database, we call the process stru...
89
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
— Today, lightweight SLAM algorithms are needed in many embedded robotic systems. In this paper the Orthogonal SLAM (OrthoSLAM ) algorithm is presented and empirically validated....
111
Voted
VLDB
1994
ACM
15 years 4 months ago
1994
ACM
Many relational and object-oriented database systems provide referential integrity and compound operations on related objects using relationship mechanisms. Distributed object sys...
123
Voted
FORTE
1997
15 years 2 months ago
1997
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
94
Voted
ACMACE
2006
ACM
15 years 6 months ago
2006
ACM
This paper focuses on the mapping strategies in the interface design for the Expression Synthesis Project (ESP). The goal of ESP is to use the metaphor of driving to allow non-exp...