6527 search results - page 1259 / 1306 » On Typing Information Flow |
DIAL
2004
IEEE
15 years 3 months ago
2004
IEEE
Document storage and retrieval capabilities of the CEDAR-FOX forensic handwritten document examination system are described. The system is designed for automated and semi-automate...
CSL
2006
Springer
15 years 3 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
105
click to vote
EDBT
2006
ACM
15 years 3 months ago
2006
ACM
Abstract. In wireless data broadcast systems, popular information is repetitively disseminated through possibly multiple communication channels to mobile clients using various type...
120
click to vote
COMPGEOM
2001
ACM
15 years 3 months ago
2001
ACM
The treatment of curved algebraic surfaces becomes more and more the focus of attention in Computational Geometry. We present a video that illustrates the computation of the conve...
122
click to vote
AMDO
2000
Springer
15 years 3 months ago
2000
Springer
- In this paper we present a specific matching technique based on basic motor patterns between two image sequences taken from different view points and a VRML synthetic human model...