886 search results - page 152 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
116
click to vote
TVCG
1998
14 years 9 months ago
1998
—Recursive subdivision schemes have been extensively used in computer graphics, computer-aided geometric design, and scientific visualization for modeling smooth surfaces of arbi...
ICML
2004
IEEE
15 years 10 months ago
2004
IEEE
Computer experiments often require dense sweeps over input parameters to obtain a qualitative understanding of their response. Such sweeps can be prohibitively expensive, and are ...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
In this paper simultaneous localization and map building is performed with a hybrid, metric - topological, approach. A global topological map connects local metric maps, allowing ...
LREC
2010
14 years 11 months ago
2010
Automatically translating natural language into machine-readable instructions is one of major interesting and challenging tasks in Natural Language (NL) Processing. This problem c...
WEBI
2010
Springer
14 years 7 months ago
2010
Springer
While much research has been performed on query logs collected for major Web search engines, query log analysis to enhance search on smaller and more focused collections has attrac...