193 search results - page 19 / 39 » A Combined Concept Location Method for Java Programs |
PLDI
2005
ACM
14 years 27 days ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
CIRA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— In human-robot communication it is often important to relate robot sensor readings to concepts used by humans. We believe that access to semantic maps will make it poss...
PPOPP
2005
ACM
14 years 27 days ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
AAAI
2000
13 years 8 months ago
2000
With the growth of on-line information, the need for better resource location services is growing rapidly. A popular goal is to conduct search in terms of concepts, rather than wo...
SETP
2007
13 years 8 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...