886 search results - page 152 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
156
Voted
TVCG
1998
15 years 2 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...
125
Voted
ICML
2004
IEEE
16 years 3 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 ...
110
Voted
ICRA
2002
IEEE
15 years 7 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 ...
114
Voted
LREC
2010
15 years 4 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...
138
Voted
WEBI
2010
Springer
15 years 19 days 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...