7991 search results - page 638 / 1599 » Using More Reasoning to Improve |
302
click to vote
GIS
2004
ACM
16 years 8 months ago
2004
ACM
Personal gazetteers record individuals' most important places, such as home, work, grocery store, etc. Using personal gazetteers in location-aware applications offers additio...
203
Voted
CC
2005
Springer
16 years 29 days ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
210
click to vote
DAC
2004
ACM
15 years 11 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
191
click to vote
CAD
2004
Springer
15 years 7 months ago
2004
Springer
We present a system, ESOLID, that performs exact boundary evaluation of low-degree curved solids in reasonable amounts of time. ESOLID performs accurate Boolean operations using e...
224
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...