6800 search results - page 807 / 1360 » Testing with Functions as Specifications |
170
click to vote
AAAI
2008
15 years 9 months ago
2008
We consider the problem of grasping novel objects in cluttered environments. If a full 3-d model of the scene were available, one could use the model to estimate the stability and...
173
click to vote
WSC
2007
15 years 9 months ago
2007
Intelligent agents offer a new and exciting way of understanding the world of work. In this paper we apply agentbased modeling and simulation to investigate a set of problems in a...
188
click to vote
USS
2008
15 years 9 months ago
2008
There are several remaining open questions in the area of flow-based anomaly detection, e.g., how to do meaningful evaluations of anomaly detection mechanisms; how to get conclusi...
175
click to vote
AMI
2008
Springer
15 years 9 months ago
2008
Springer
With today's technology, elderly users could be supported in living independently in their own homes for a prolonged period of time. Commercially available products enable rem...
223
click to vote
CASES
2008
ACM
15 years 9 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...