16725 search results - page 3031 / 3345 » Engineering Software Correctness |
128
click to vote
CLEF
2003
Springer
15 years 10 months ago
2003
Springer
: The basic line of our action is first to use natural language processing to prune the texts and the query, and secondly to use an ontology to expand the queries. Last year The sy...
163
click to vote
SIGGRAPH
1996
ACM
15 years 9 months ago
1996
ACM
Accurate registration between real and virtual objects is crucial for augmented reality applications. Existing tracking methods are individually inadequate: magnetic trackers are ...
139
click to vote
STOC
1989
ACM
15 years 8 months ago
1989
ACM
This paper takes the next step in developing the theory of average case complexity initiated by Leonid A Levin. Previous works Levin 84, Gurevich 87, Venkatesan and Levin 88] have...
145
click to vote
DNA
2006
Springer
15 years 8 months ago
2006
Springer
We study the times to grow structures within the tile self-assembly model proposed by Winfree, and the possible shapes that can be achieved. Our earlier work was confined to the g...
150
click to vote
BMVC
2001
15 years 7 months ago
2001
The ability to construct CAD or other object models from edge and range data has a fundamental meaning in building a recognition and positioning system. While the problem of model...