Sciweavers

3225 search results - page 171 / 645
» Compiling Experience into Knowledge
Sort
View
VMV
2003
203views Visualization» more  VMV 2003»
15 years 7 months ago
Semantic Scene Analysis of Scanned 3D Indoor Environments
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
Andreas Nüchter, Hartmut Surmann, Kai Lingema...
AAAI
1992
15 years 7 months ago
Learning to Disambiguate Relative Pronouns
In this paper we show how a natural language system can learn to find the antecedents of relative pronouns. We use a well-known conceptual clustering system to create a case-based...
Claire Cardie
IJCAI
1989
15 years 7 months ago
Towards a General Framework for Composing Disjunctive and Iterative Macro-operators
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
Peter Shell, Jaime G. Carbonell
CORR
2010
Springer
68views Education» more  CORR 2010»
15 years 6 months ago
An Optimization for Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
Cristina Feier, Stijn Heymans
JFP
2008
75views more  JFP 2008»
15 years 6 months ago
Exploiting reachability and cardinality in higher-order flow analysis
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...
Matthew Might, Olin Shivers