593 search results - page 81 / 119 » Semantics-Preserving Procedure Extraction |
ISBI
2002
IEEE
16 years 15 days ago
2002
IEEE
In the framework of computer-aided diagnosis, this paper proposes a novel functionality for computerized tomography (CT)based investigation of pulmonary airways. It provides a spe...
WWW
2008
ACM
16 years 14 days ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
100
click to vote
WWW
2006
ACM
16 years 14 days ago
2006
ACM
Ontologies are at the heart of the semantic web. They define the concepts and relationships that make global interoperability possible. However, as these ontologies grow in size t...
HPCA
2006
IEEE
16 years 5 days ago
2006
IEEE
Processor architects have a challenging task of evaluating a large design space consisting of several interacting parameters and optimizations. In order to assist architects in ma...
199
click to vote
POPL
2006
ACM
16 years 3 days ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...