886 search results - page 161 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
SIGIR
2009
ACM
15 years 4 months ago
2009
ACM
It is now widely recognized that user interactions with search results can provide substantial relevance information on the documents displayed in the search results. In this pape...
108
click to vote
ISRR
2005
Springer
15 years 3 months ago
2005
Springer
A novel model for dynamic emergence and adaptation of embodied behavior is proposed. A musculo-skeletal system is controlled by a number of chaotic elements, each of which driving...
SMA
1999
ACM
15 years 2 months ago
1999
ACM
Subdivision surfaces have been extensively used to model smooth shapes of arbitrary topology. Recursive subdivision on an userdefined initial control mesh generates a visually pl...
106
click to vote
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
159
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
Similarity search has been widely used in many applications such as information retrieval, image data analysis, and time-series matching. Specifically, a similarity query retrieves...