Sciweavers

4429 search results - page 416 / 886
» An Algorithm for Knowledge Base Extraction
Sort
View
ICSE
1999
IEEE-ACM
15 years 11 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
LREC
2008
193views Education» more  LREC 2008»
15 years 8 months ago
Eksairesis: A Domain-Adaptable System for Ontology Building from Unstructured Text
This paper describes Eksairesis, a system for learning economic domain knowledge automatically from Modern Greek text. The knowledge is in the form of economic terms and the seman...
Katia Kermanidis, Aristomenis Thanopoulos, Manolis...
TREC
2004
15 years 8 months ago
Evolving XML and Dictionary Strategies for Question Answering and Novelty Tasks
CL Research participated in the question answering and novelty tracks in TREC 2004. The Knowledge Management System (KMS), which provides a single interface for question answering...
Kenneth C. Litkowski
CVPR
2005
IEEE
16 years 8 months ago
Face Recognition Based on Frontal Views Generated from Non-Frontal Images
This paper presents a method for face recognition across large changes in viewpoint. Our method is based on a Morphable Model of 3D faces that represents face-specific information...
Volker Blanz, Patrick Grother, P. Jonathon Phillip...
ICIP
2006
IEEE
16 years 8 months ago
Curvelet-Based Texture Classification of Tissues in Computed Tomography
The research presented in this article is aimed at the development of an automated imaging system for classification of tissues in medical images obtained from Computed Tomography...
Lindsay Semler, Lucia Dettori