Sciweavers

2203 search results - page 207 / 441
» Knowledge Integration
Sort
View
128
Voted
ACL
2006
15 years 5 months ago
Names and Similarities on the Web: Fact Extraction in the Fast Lane
In a new approach to large-scale extraction of facts from unstructured text, distributional similarities become an integral part of both the iterative acquisition of high-coverage...
Marius Pasca, Dekang Lin, Jeffrey Bigham, Andrei L...
124
Voted
AIPS
2006
15 years 5 months ago
A New Principle for Incremental Heuristic Search: Theoretical Results
Planning is often not a one-shot task because either the world or the agent's knowledge of the world changes. In this paper, we introduce a new principle that can be used to ...
Sven Koenig, Maxim Likhachev
119
Voted
DLOG
1997
15 years 5 months ago
Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
Volker Haarslev, Ralf Möller
115
Voted
NAACL
1994
15 years 5 months ago
Information Based Intonation Synthesis
This paper presents a model for generating prosodically appropriate synthesized responses to database queries using Combinatory Categorial Grammar (CCG - cf. [22]), a formalism wh...
Scott Prevost, Mark Steedman
ENTCS
2006
137views more  ENTCS 2006»
15 years 3 months ago
Automated Security Protocol Analysis With the AVISPA Tool
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
Luca Viganò