13383 search results - page 2351 / 2677 » Abstractions from proofs |
150
click to vote
FOIS
2006
15 years 5 months ago
2006
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
138
click to vote
AIPS
2003
15 years 5 months ago
2003
As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...
160
click to vote
CIDR
2003
15 years 5 months ago
2003
We introduce a system to address the challenges involved in managing the multidimensional sensor data streams generated within immersive environments. We call this data type, imme...
153
click to vote
FORTE
2003
15 years 5 months ago
2003
Abstract. In this paper, we propose a testing method for QoS functions in distributed multi-media systems, where we test whether playback of media objects is correctly implemented ...
149
click to vote
IICAI
2003
15 years 5 months ago
2003
Abstract: Democratic societies throughout the world, it appears, are facing a new type of threat dubbed "asymmetric threat." In this new threat environment the world gove...