439 search results - page 71 / 88 » Instantiation-Based Automated Reasoning: From Theory to Prac... |
108
Voted
LPNMR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
106
click to vote
CSL
2007
Springer
14 years 11 months ago
2007
Springer
When users access information from text, they engage in strategic fixation, visually scanning the text to focus on regions of interest. However, because speech is both serial and ...
GIS
2010
ACM
14 years 10 months ago
2010
ACM
Bare Earth gridded digital elevation models (DEMs) are often used to extract hydrologic features such as rivers and watersheds. DEMs must be conditioned by removing spurious sinks...
107
Voted
GIS
2007
ACM
15 years 3 months ago
2007
ACM
A frequent query in geospatial planning and decision making domains (e.g., emergency response, data acquisition, street cleaning), is to find an optimal traversal plan (OTP) that ...
187
Voted
ICFP
2009
ACM
16 years 9 days ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...