Sciweavers

142 search results - page 13 / 29
» ecai 2008
Sort
View
ECAI
2008
Springer
14 years 11 months ago
Defining a Subset of OCL for Expressing SWRL Rules
OCL is a rich-syntax language for expressing integrity rules and many business rules can be expressed using OCL. On the other hand, UML/OCL is a mainstream modeling technology and ...
Sergey Lukichev
ECAI
2008
Springer
14 years 11 months ago
Groovy Neural Networks
Abstract. The drum machine has been an important tool in music production for decades. However, its flawless way of playing drum patterns is often perceived as mechanical and rigid...
Axel Tidemann, Yiannis Demiris
ECAI
2008
Springer
14 years 11 months ago
Goal Generation and Adoption from Partially Trusted Beliefs
A rational agent adopts (or changes) its goals when new information (beliefs) becomes available or its desires (e.g., tasks it is supposed to carry out) change. In this paper we pr...
Célia da Costa Pereira, Andrea Tettamanzi
ECAI
2008
Springer
14 years 11 months ago
Vivifying Propositional Clausal Formulae
Abstract. In this paper, we present a new way to preprocess Boolean formulae in Conjunctive Normal Form (CNF). In contrast to most of the current pre-processing techniques, our app...
Cédric Piette, Youssef Hamadi, Lakhdar Sais
ECAI
2008
Springer
14 years 11 months ago
Reasoning about Dynamic Depth Profiles
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
Mikhail Soutchanski, Paulo Santos