1914 search results - page 177 / 383 » Verification by Abstract Interpretation |
182
click to vote
AUSAI
2005
Springer
15 years 10 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...
152
click to vote
CLEF
2005
Springer
15 years 10 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...
135
click to vote
CONCUR
2005
Springer
15 years 10 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...
162
click to vote
IEAAIE
2005
Springer
15 years 10 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...
148
click to vote
SEMWEB
2005
Springer
15 years 10 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. ...