162 search results - page 16 / 33 » Extraction in Coq: An Overview |
SIMVIS
2008
13 years 9 months ago
2008
In this paper, we present an overview of a number of existing flow visualization methods, developed by the authors in the recent past, that are specifically aimed at integrating a...
AAAI
2006
13 years 9 months ago
2006
Extracting a map from a stream of experience is a key problem in robotics and artificial intelligence in general. We propose a technique, called subjective mapping, that seeks to ...
SIGMOD
2008
ACM
13 years 7 months ago
2008
ACM
This paper gives an overview on the YAGO-NAGA approach to information extraction for building a conveniently searchable, large-scale, highly accurate knowledge base of common fact...
VISUALIZATION
2005
IEEE
14 years 1 months ago
2005
IEEE
Curve-skeletons are thinned 1D representations of 3D objects useful for many visualization tasks including virtual navigation, reduced-model formulation, visualization improvement...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
This paper overviews and analyses the on-going research attempts to apply language technologies to automatic ontology acquisition. At first glance there are many successful approac...