3765 search results - page 519 / 753 » Formal Methods for Systems Engineering Behavior Models |
272
click to vote
SMA
2008
ACM
15 years 6 months ago
2008
ACM
3D mesh models are now widely available for use in various applications. The demand for automatic model analysis and understanding is ever increasing. Mesh segmentation is an impo...
158
click to vote
RAS
2006
15 years 6 months ago
2006
Mobile robots must cope with uncertainty from many sources along the path from interpreting raw sensor inputs to behavior selection to execution of the resulting primitive actions...
172
click to vote
ISESE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper summarizes estimation knowledge through a review of surveys on software effort estimation. Main findings were that: (1) Most projects (60-80%) encounter effort and/or s...
145
click to vote
SIGIR
2003
ACM
15 years 12 months ago
2003
ACM
Hierarchies provide a means of organizing, summarizing and accessing information. We describe a method for automatically generating hierarchies from small collections of text, and...
161
click to vote
LREC
2010
15 years 8 months ago
2010
Reflecting the rapid growth of science, technology, and culture, it has become common practice to consult tools on the World Wide Web for various terms. Existing search engines pr...