188 search results - page 8 / 38 » On Test Derivation from Partial Specifications |
DAC
2001
ACM
14 years 8 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
CIKM
2006
Springer
13 years 11 months ago
2006
Springer
The wide adoption of XML has increased the interest of the database community on tree-structured data management techniques. Querying capabilities are provided through tree-patter...
AAAI
2008
13 years 10 months ago
2008
We consider the problem of grasping novel objects in cluttered environments. If a full 3-d model of the scene were available, one could use the model to estimate the stability and...
ICCV
2009
IEEE
15 years 19 days ago
2009
IEEE
This paper addresses the problem of segmenting lowlevel
partial feature point tracks belonging to multiple motions.
We show that the local velocity vectors at each instant
of th...
APSEC
2006
IEEE
14 years 1 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...