4770 search results - page 279 / 954 » Flexible Type Analysis |
178
click to vote
AUSAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the f...
156
click to vote
CIVR
2004
Springer
16 years 20 days ago
2004
Springer
The paper discusses three IST projects focusing on the disclosure of video content via a combination of low-level multimodal feature analysis, abstraction, and browsing tools. The ...
186
click to vote
SSIAI
2002
IEEE
16 years 5 days ago
2002
IEEE
In order to adequately process satellite and radar information, it is necessary to find the exact correspondence between different types of images and between these images and th...
217
click to vote
ISSAC
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
187
click to vote
AVI
2008
15 years 9 months ago
2008
To make sense from large amounts of movement data (sequences of positions of moving objects), a human analyst needs interactive visual displays enhanced with database operations a...