Sciweavers

2845 search results - page 214 / 569
» Constraints over Ontologies
Sort
View
TPHOL
2002
IEEE
15 years 11 months ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff
CLOR
2006
15 years 10 months ago
Object Recognition in the Geometric Era: A Retrospective
Recent advances in object recognition have emphasized the integration of intensity-derived features such as affine patches with associated geometric constraints leading to impressi...
Joseph L. Mundy
CP
2005
Springer
15 years 8 months ago
Evolving Variable-Ordering Heuristics for Constrained Optimisation
In this paper we present and evaluate an evolutionary approach for learning new constraint satisfaction algorithms, specifically for MAX-SAT optimisation problems. Our approach of...
Stuart Bain, John Thornton, Abdul Sattar
ANLP
2000
78views more  ANLP 2000»
15 years 8 months ago
Talk'N'Travel: A Conversational System For Air Travel Planning
We describe Talk'n'Travel, a spoken dialogue language system for making air travel plans over the telephone. Talk'n'Travel is a fully conversational, mixed-ini...
David Stallard
AAAI
1996
15 years 8 months ago
Commitment Strategies in Hierarchical Task Network Planning
This paper compares three commitment strategies for HTN planning: (1) a strategy that delays variable bindings as much as possible; (2) a strategy in which no non-primitive task i...
Reiko Tsuneto, Kutluhan Erol, James A. Hendler, Da...