Sciweavers

3185 search results - page 222 / 637
» Domain and language evaluation results
Sort
View
CP
2003
Springer
15 years 12 months ago
Box Constraint Collections for Adhoc Constraints
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
NDQA
2003
123views Education» more  NDQA 2003»
15 years 8 months ago
HITIQA: A Data Driven Approach to Interactive Question Answering: A Preliminary Report
HITIQA is an interactive question answering technology designed to allow intelligence analysts and other users of information systems to pose questions in natural language and obt...
Sharon Small, Nobuyuki Shimizu, Tomek Strzalkowski...
JAIR
2006
138views more  JAIR 2006»
15 years 6 months ago
Logical Hidden Markov Models
Logical hidden Markov models (LOHMMs) upgrade traditional hidden Markov models to deal with sequences of structured symbols in the form of logical atoms, rather than flat characte...
Kristian Kersting, Luc De Raedt, Tapani Raiko
POPL
2010
ACM
16 years 4 months ago
A simple, verified validator for software pipelining
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
Jean-Baptiste Tristan, Xavier Leroy
ATAL
2009
Springer
16 years 1 months ago
Adversarial search with procedural knowledge heuristic
We introduce an adversarial planning algorithm based on game tree search, which is applicable in large-scale multiplayer domains. In order to tackle the scalability issues of game...
Viliam Lisý, Branislav Bosanský, Mic...