4814 search results - page 168 / 963 » Combining abstract interpreters |
194
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
178
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
Different data acquisition methods are tailored at extracting particular characteristics from a scene and by combining their results a more robust scene description can be created...
161
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
In this paper, we describe a formative study to learn how one chronically ill population thinks about food, mentally organizes food, and interprets consumption-level icons. We fou...
176
click to vote
ICIAR
2009
Springer
16 years 1 months ago
2009
Springer
Over the past decades, considerable progress had been made in developing automatic image interpretation tools for remote sensing. There is, however, still a gap between the require...
155
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we propose a framework that provides software and robotic agents with the ability to ask approximate questions to each other in the context of heterogeneous ontolog...