Sciweavers

939 search results - page 97 / 188
» Semantic Abstraction and Quantum Computation
Sort
View
ECCV
1990
Springer
14 years 12 months ago
Finding Geometric and Relational Structures in an Image
Abstract We present a method for extracting geometric and relational structures from raw intensity data. On one hand, low-level image processing extracts isolated features. On the ...
Radu Horaud, Francoise Veillon, Thomas Skordas
CONCUR
2010
Springer
13 years 11 months ago
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar B...
ACL
2009
13 years 7 months ago
A Metric-based Framework for Automatic Taxonomy Induction
This paper presents a novel metric-based framework for the task of automatic taxonomy induction. The framework incrementally clusters terms based on ontology metric, a score indic...
Hui Yang, Jamie Callan
FMICS
2007
Springer
14 years 4 months ago
An Approach to Formalization and Analysis of Message Passing Libraries
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
Robert Palmer, Michael Delisi, Ganesh Gopalakrishn...
PADL
2009
Springer
14 years 10 months ago
Layered Models Top-Down Querying of Normal Logic Programs
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
Alexandre Miguel Pinto, Luís Moniz Pereira