1937 search results - page 59 / 388 » Starting B Specifications from Use Cases |
152
click to vote
HYBRID
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
155
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes the authors’ experiences creating a full Build Management System from a simple Version Control System. We will explore how the XP values of simplicity, feed...
125
click to vote
NIPS
2001
15 years 8 months ago
2001
We present a model of binding of relationship information in a spatial domain (e.g., square above triangle) that uses low-order coarse-coded conjunctive representations instead of...
159
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
177
click to vote
IJRR
2002
15 years 6 months ago
2002
This paper presents a technique for mapping partially observable features from multiple uncertain vantage points. The problem of concurrent mapping and localization (CML) is state...