Sciweavers

1445 search results - page 121 / 289
» Uniformly Hard Languages
Sort
View
CP
2003
Springer
15 years 9 months ago
Constraint-Based Optimization with the Minimax Decision Criterion
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
Craig Boutilier, Relu Patrascu, Pascal Poupart, Da...
AAAI
2007
15 years 6 months ago
Two Approaches for Building an Unsupervised Dependency Parser and Their Other Applications
Much work has been done on building a parser for natural languages, but most of this work has concentrated on supervised parsing. Unsupervised parsing is a less explored area, and...
Jagadeesh Gorla, Amit Goyal, Rajeev Sangal
IESA
2007
15 years 5 months ago
Improving Interoperability in Collaborative Modelling
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
Stephan Roser, Bernhard Bauer
DLOG
2003
15 years 5 months ago
Reasoning about Nominals with FaCT and RACER
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
Jan Hladik
SFP
2000
15 years 5 months ago
Parallel heuristic search in Haskell
Abstract: Parallel heuristic search algorithms are widely used in artificial intelligence. This paper describes novel parallel variants of two standard sequential search algorithms...
Michelle Cope, Ian P. Gent, Kevin Hammond