2517 search results - page 175 / 504 » Specifying Weak Sets |
174
click to vote
PGLDB
2003
15 years 8 months ago
2003
The idea of Learning Objects – “any digital resource that can be reused to support learning” – is emerging as a way to reuse learning materials in different settings and c...
188
click to vote
IWMMDBMS
1996
15 years 7 months ago
1996
We introduce a constraint-driven methodology for the automated assembly, organization and playout of presentations from multimedia databases. We use inclusion and exclusion constr...
185
click to vote
AAAI
1990
15 years 7 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
156
click to vote
AMW
2009
15 years 7 months ago
2009
Abstract. This paper introduces a formalization of a set of spatial semantic integrity constraints on an extended-relational database model. The formalization extends traditional n...
198
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...