5086 search results - page 678 / 1018 » The Power of Comparative Reasoning |
160
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
We propose new techniques for efficient breadth-first iterative manipulation of ROBDDs. Breadth-first iterative ROBDD manipulation can potentially reduce the total elapsed time by...
180
click to vote
ISCA
1994
IEEE
15 years 10 months ago
1994
IEEE
Multithreaded architectures context switch between instruction streams to hide memory access latency. Although this improves processor utilization, it can increase cache interfere...
225
click to vote
POPL
1993
ACM
15 years 10 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
204
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
A number of researchers have been building high-level semantic concept detectors such as outdoors, face, building, etc., to help with semantic video retrieval. Using the TRECVID v...
184
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The colonies of certain species of ants, for example Pogonomyrmex barbatus, exhibit changes in behaviour as the colonies grow older, despite nearly all of the individual ...