Sciweavers

418 search results - page 23 / 84
» Automatic Issue Extraction from a Focused Dialogue
Sort
View
FLAIRS
2003
13 years 9 months ago
Topic Extraction and Extension to Support Concept Mapping
Successful knowledge management may depend not only on knowledge capture, but on knowledge construction—on formulating new and useful knowledge that was not previously available...
David B. Leake, Ana Gabriela Maguitman, Thomas Rei...
COSIT
2003
Springer
145views GIS» more  COSIT 2003»
14 years 29 days ago
Extracting Landmarks with Data Mining Methods
Abstract. The navigation task is a very demanding application for mobile users. The algorithms of present software solutions are based on the established methods of car navigation ...
Birgit Elias
MPC
1995
Springer
125views Mathematics» more  MPC 1995»
13 years 11 months ago
Synthesizing Proofs from Programs in the Calculus of Inductive Constructions
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
Catherine Parent
CLEF
2010
Springer
13 years 8 months ago
DAEDALUS at ImageCLEF Wikipedia Retrieval 2010: Expanding with Semantic Information from Context
This paper describes the participation of DAEDALUS at the ImageCLEF 2010 Wikipedia Retrieval task. The main focus of our experiments is to evaluate the impact in the image retrieva...
Sara Lana-Serrano, Julio Villena-Román, Jos...
DSS
2007
83views more  DSS 2007»
13 years 7 months ago
Reference metadata extraction using a hierarchical knowledge representation framework
The integration of bibliographical information on scholarly publications available on the Internet is an important task in the academic community. Accurate reference metadata extr...
Min-Yuh Day, Richard Tzong-Han Tsai, Cheng-Lung Su...