2084 search results - page 61 / 417 » Knowledge Exploitation from the Web |
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
14 years 4 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
3DPVT
2004
IEEE
14 years 2 months ago
2004
IEEE
An appearance-based face authentication system integrating 2D color or intensity images and 3D data is presented in this paper. The proposed system is based on a low-cost 3D and c...
SEMWEB
2010
Springer
13 years 8 months ago
2010
Springer
When multiple ontologies are used within one application system, aligning the ontologies is a prerequisite for interoperability and unhampered semantic navigation and search. Vario...
WWW
2009
ACM
14 years 11 months ago
2009
ACM
In this paper, we try to leverage a large-scale and multilingual knowledge base, Wikipedia, to help effectively analyze and organize Web information written in different languages...
HT
2007
ACM
14 years 2 months ago
2007
ACM
The design and maintenance of an aero-engine generates a significant amount of documentation. When designing new engines, engineers must obtain knowledge gained from maintenance o...