550 search results - page 36 / 110 » Modeling of Output Constraints in Multimedia Database System... |
SSPR
2004
Springer
14 years 3 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...
TKDE
1998
13 years 9 months ago
1998
To address the emerging needs of applications that require access to and retrieval of multimedia objects, we are developing the Multimedia Analysis and Retrieval System (MARS) 29]...
TACAS
1999
Springer
14 years 2 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
CORR
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. This paper presents a novel formalization of optimality theory. Unlike previous treatments of optimality in computational linguistics, starting with Ellison 1994 , the n...
ICLP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...