10997 search results - page 196 / 2200 » On the Structure of Complete Sets |
176
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
180
click to vote
CGI
2001
IEEE
15 years 10 months ago
2001
IEEE
Javra is a Java package for handling VRML scene graphs; it operates either stand-alone or in combination with a VRML browser. The combination of Javra and a VRML browser forms an ...
222
click to vote
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
Segmentation of document images remains a challenging vision problem. Although document images have a structured layout, capturing enough of it for segmentation can be difficult....
193
click to vote
AAAI
2008
15 years 9 months ago
2008
The construction of causal graphs from non-experimental data rests on a set of constraints that the graph structure imposes on all probability distributions compatible with the gr...
164
click to vote
LREC
2008
15 years 8 months ago
2008
Data models and encoding formats for syntactically annotated text corpora need to deal with syntactic ambiguity; underspecified representations are particularly well suited for th...