222 search results - page 28 / 45 » An Effective Approach to Verbose Queries Using a Limited Dep... |
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
IUI
2006
ACM
14 years 2 months ago
2006
ACM
This paper describes a discussion-bot that provides answers to students’ discussion board questions in an unobtrusive and humanlike way. Using information retrieval and natural ...
SMA
2006
ACM
14 years 2 months ago
2006
ACM
We present an efficient and robust algorithm for computing the minimum distance between a point and freeform curve or surface by lifting the problem into a higher dimension. This...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
Information processing within autonomous robots should follow a biomimetic approach. In contrast to traditional approaches that make intensive use of accurate measurements, numeric...
ESWS
2006
Springer
14 years 8 days ago
2006
Springer
Classifications have been used for centuries with the goal of cataloguing and searching large sets of objects. In the early days it was mainly books; lately it has also become Web ...