Sciweavers

3040 search results - page 588 / 608
» Independent Natural Extension
Sort
View
AAAI
2000
15 years 5 months ago
DATALOG with Constraints - An Answer-Set Programming System
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
Deborah East, Miroslaw Truszczynski
163
Voted
DAGSTUHL
1997
15 years 5 months ago
Scattered Data Techniques for Surfaces
This survey presents several techniques for solving variants of the following scattered data interpolation problem: given a nite set of N points in R3, nd a surface that interpola...
Suresh K. Lodha, Richard Franke
WSC
1998
15 years 5 months ago
Marine Corps Analytic Modeling and Simulation
The Marine Corps has instituted a new Mission Area Analysis (MAA) process to identify operational requirements and deficiencies. In the past, the MAA process was subjective and so...
William A. Sawyers
146
Voted
AAAI
1996
15 years 5 months ago
What Is Planning in the Presence of Sensing?
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...
Hector J. Levesque
COLING
1996
15 years 5 months ago
Computational Complexity of Probabilistic Disambiguation by means of Tree-Grammars
This paper studies the computational complexity of disambiguation under probabilistic tree-grammars as in (Bod, 1992; Schabes and Waters, 1993). It presents a proof that the follo...
Khalil Sima'an