1930 search results - page 151 / 386 » Epistemic comparative conditionals |
133
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
175
click to vote
ICMCS
1994
IEEE
15 years 10 months ago
1994
IEEE
Network-based real-time multimedia applications require guaranteed performance communicationservices. To provide guaranteed service, resources have to be reserved within the netwo...
165
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
In this paper, we describe a new indexing technique, the time indez, for improving the performance of certain classes of temporal queries. The time index can be used to retrieve v...
243
click to vote
ARITH
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...
198
click to vote
CAIP
2007
Springer
15 years 10 months ago
2007
Springer
Fracture of the bone is a very serious medical condition. In clinical practice, a tired radiologist has been found to miss fracture cases after looking through many images containi...