1190 search results - page 118 / 238 » The Continuing Quest for Abstraction |
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
BILDMED
2008
13 years 10 months ago
2008
Abstract. Improved visualization of blood vessels by ultrasound contrast agents requires insonation that is adapted to the dynamics of the contrast agent bubbles. To evaluate the i...
BNCOD
2008
13 years 10 months ago
2008
Abstract. Accurate selectivity estimations are essential for query optimization decisions where they are typically derived from various kinds of histograms which condense value dis...
CLA
2007
13 years 10 months ago
2007
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
CSSW
2007
13 years 10 months ago
2007
Abstract: Retrieval of web-based geographic information (GI) for spatial decisionmaking processes can benefit from emerging semantic technologies. Ontology-supported metadata, col...