Sciweavers

1827 search results - page 157 / 366
» Automatic thesaurus construction
Sort
View
SIGIR
2009
ACM
15 years 11 months ago
Web searching for daily living
The new concept proposed in this paper is a query free web search that automatically retrieves a web page including information related to the daily activity that we are currently...
Takuya Maekawa, Yutaka Yanagisawa, Yasushi Sakurai...
CRV
2008
IEEE
183views Robotics» more  CRV 2008»
15 years 11 months ago
Robust Real-Time Bi-Layer Video Segmentation Using Infrared Video
In this paper, we propose a novel method for the automatic segmentation of a foreground layer from a natural scene in real time by fusing infrared, color and edge information. Thi...
Qiong Wu, Pierre Boulanger, Walter F. Bischof
SAS
2005
Springer
118views Formal Methods» more  SAS 2005»
15 years 9 months ago
Inference of Well-Typings for Logic Programs with Application to Termination Analysis
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
Maurice Bruynooghe, John P. Gallagher, Wouter Van ...
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 9 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
FLAIRS
2007
15 years 6 months ago
Autonomous Classification of Knowledge into an Ontology
Ontologies are an increasingly important tool in knowledge representation, as they allow large amounts of data to be related in a logical fashion. Current research is concentrated...
Matthew E. Taylor, Cynthia Matuszek, Bryan Klimt, ...