3082 search results - page 239 / 617 » its 2004 |
172
click to vote
SSPR
2004
Springer
15 years 12 months ago
2004
Springer
The creation of a cognitive perception systems capable of inferring higher-level semantic information from low-level feature and event information for a given type of multimedia co...
172
click to vote
TIDSE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents Textable Movie, an open-ended interface that allows anyone to become "video-jockey." In the framework of computational storytelling, Textabl...
191
click to vote
TYPES
2004
Springer
15 years 12 months ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
159
click to vote
UCS
2004
Springer
15 years 12 months ago
2004
Springer
Fiducial tags can be recognised successfully and decoded by computer vision systems in order to produce location information. We term a system dependable if its observable results ...
152
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
Different models have been proposed recently for representing temporal data, tracking historical information, and recovering the state of the document as of any given time, in XM...