Sciweavers

2981 search results - page 461 / 597
» Answer Set Planning
Sort
View
ENTCS
2007
109views more  ENTCS 2007»
15 years 6 months ago
Hybrid Logics and Ontology Languages
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
Ian Horrocks, Birte Glimm, Ulrike Sattler
GC
2007
Springer
15 years 6 months ago
Precoloring Extension of Co-Meyniel Graphs
The pre-coloring extension problem consists, given a graph G and a set of nodes to which some colors are already assigned, in finding a coloring of G with the minimum number of co...
Vincent Jost, Benjamin Lévêque, Fr&ea...
SIAMSC
2008
75views more  SIAMSC 2008»
15 years 6 months ago
Well-Balanced Time Implicit Formulation of Relaxation Schemes for the Euler Equations
We show how to derive time implicit formulations of relaxation schemes for the Euler equations for real materials in several space dimensions. In the fully time explicit setting, t...
Christophe Chalons, Frédéric Coquel,...
SIGIR
2008
ACM
15 years 6 months ago
Learning to rank with partially-labeled data
Ranking algorithms, whose goal is to appropriately order a set of objects/documents, are an important component of information retrieval systems. Previous work on ranking algorith...
Kevin Duh, Katrin Kirchhoff
AI
2005
Springer
15 years 6 months ago
Learning to talk about events from narrated video in a construction grammar framework
The current research presents a system that learns to understand object names, spatial relation terms and event descriptions from observing narrated action sequences. The system e...
Peter Ford Dominey, Jean-David Boucher