3342 search results - page 317 / 669 » Automating Abstract Interpretation |
140
click to vote
WISE
2003
Springer
15 years 9 months ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
131
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
Deep submicron technology calls for new design techniques, in which wire and gate delays are accounted to have equal or nearly equal effect on circuit behaviour. Asynchronous spee...
122
click to vote
ICRA
1993
IEEE
15 years 8 months ago
1993
IEEE
The ability to automatically generate internal models from sensed data will be of critical importance in the development of flexible, adaptive and useful unmanned underwater vehic...
200
click to vote
CONCUR
1993
Springer
15 years 8 months ago
1993
Springer
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...
137
click to vote
ACMICEC
2007
ACM
15 years 8 months ago
2007
ACM
Bids during an online auction arrive at unequally-spaced discrete time points. Our goal is to capture the entire continuous price-evolution function by representing it as a functi...