Sciweavers

2981 search results - page 299 / 597
» Answer Set Planning
Sort
View
DATAMINE
2000
113views more  DATAMINE 2000»
15 years 4 months ago
Informix under CONTROL: Online Query Processing
The goal of the CONTROL project at Berkeley is to develop systems for interactive analysis of large data sets. We focus on systems that provide users with iteratively refining answ...
Joseph M. Hellerstein, Ron Avnur, Vijayshankar Ram...
PAAPP
2007
112views more  PAAPP 2007»
15 years 4 months ago
A study on video viewing behavior: application to movie trailer miner
In this paper, we present a study on video viewing behavior. Based on a well-suited Markovian model, we have developed a clustering algorithm called K-Models and inspired by the K...
Sylvain Mongy
JELIA
2010
Springer
15 years 3 months ago
A Normal Form for Linear Temporal Equilibrium Logic
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
Pedro Cabalar
ICDAR
2009
IEEE
15 years 2 months ago
Selecting Features in On-Line Handwritten Whiteboard Note Recognition: SFS or SFFS?
When selecting features with the sequential forward floating selection (SFFS), the "nesting effect" is avoided, which is a common phenomenon if the computationally less ...
Joachim Schenk, Moritz Kaiser, Gerhard Rigoll
COMMA
2010
14 years 11 months ago
Dialectical Proofs for Constrained Argumentation
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
Caroline Devred, Sylvie Doutre, Claire Lefè...