1914 search results - page 177 / 383 » Verification by Abstract Interpretation |
139
click to vote
AUSAI
2005
Springer
15 years 6 months 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...
111
click to vote
CLEF
2005
Springer
15 years 6 months 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...
106
click to vote
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
122
click to vote
IEAAIE
2005
Springer
15 years 6 months 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...
SEMWEB
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Much data is published on the Web in XML format satisfying schemas, and to make the Semantic Web a reality, such data needs to be interpreted with respect to ontologies. ...