4211 search results - page 217 / 843 » Types as Abstract Interpretations |
162
click to vote
ICLP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
145
click to vote
XPU
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In this paper we address how interaction design and agile development work together, with a focus on the issue of interaction design being done “up-front”, before sof...
206
click to vote
AUSAI
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper presents a complete visual surveillance system for automatic scene interpretation of airport aprons. The system comprises two main modules — Scene Tracking a...
173
click to vote
CLEF
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
185
click to vote
IEAAIE
2005
Springer
16 years 1 days ago
2005
Springer
In application domains such as medicine, where a large amount of data is gathered, a medical diagnosis and a better understanding of the underlying generating process is an aim. Re...