Sciweavers

2290 search results - page 270 / 458
» Extensible Protected Types
Sort
View
MMM
2003
Springer
152views Multimedia» more  MMM 2003»
15 years 11 months ago
Semantic Video Annotation and Vague Query
The Digital Video Album (DVA) system described here integrates various cooperating subsystems to index and query video documents according to their semantic content and other meta...
Qiuying Zhang, Mohan S. Kankanhalli, Philippe Mulh...
GROUP
2003
ACM
15 years 11 months ago
Using the transformational approach to build a safe and generic data synchronizer
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
Pascal Molli, Gérald Oster, Hala Skaf-Molli...
AC
2003
Springer
15 years 11 months ago
Generic Haskell: Applications
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
Ralf Hinze, Johan Jeuring
BIRTHDAY
2003
Springer
15 years 11 months ago
Using Alternating Words to Describe Symbolic Pictures
In this paper we present the concepts of drawn symbolic picture and symbolic picture. Such notions have been conceived as an extension of the concept of drawn pictures which was i...
Gennaro Costagliola, Vincenzo Deufemia, Filomena F...
ICDT
2003
ACM
121views Database» more  ICDT 2003»
15 years 11 months ago
Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
Floris Geerts, Bart Kuijpers