Sciweavers

6618 search results - page 357 / 1324
» Natural Logic for Natural Language
Sort
View
FUIN
2008
142views more  FUIN 2008»
15 years 6 months ago
Relational Transformation-based Tagging for Activity Recognition
Abstract. The ability to recognize human activities from sensory information is essential for developing the next generation of smart devices. Many human activity recognition tasks...
Niels Landwehr, Bernd Gutmann, Ingo Thon, Luc De R...
FUIN
2008
93views more  FUIN 2008»
15 years 6 months ago
Logic-based Conflict Detection for Distributed Policies
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...
Carlo Montangero, Stephan Reiff-Marganiec, Laura S...
SIGIR
2008
ACM
15 years 6 months ago
Geometric and quantum methods for information retrieval
This paper reviews the recent developments in applying geometric and quantum mechanics methods for information retrieval and natural language processing. It discusses the interest...
Yaoyong Li, Hamish Cunningham
CP
2007
Springer
16 years 1 months ago
Propagation = Lazy Clause Generation
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
Olga Ohrimenko, Peter J. Stuckey, Michael Codish
MODELS
2007
Springer
16 years 29 days ago
Automatic Generation of Workflow-Extended Domain Models
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
Marco Brambilla, Jordi Cabot, Sara Comai