5692 search results - page 38 / 1139 » Challenges and Unsolved Problems |
EDBT
2008
ACM
15 years 10 months ago
2008
ACM
ng the abstract view of computing resources from the implementation of these resources of indirection between abstract view and implementation of resources - Hides implementation d...
87
Voted
ISCA
2009
IEEE
15 years 4 months ago
2009
IEEE
As transistor density continues to grow at an exponential rate in accordance to Moore’s law, the goal for many Chip Multi-Processor (CMP) systems is to scale the number of on-ch...
99
Voted
ACSC
2008
IEEE
15 years 4 months ago
2008
IEEE
The International Olympiad in Informatics is a worldwide contest for high school students, with a strong focus on creativity and ingenuity in algorithm design. Here we describe th...
104
Voted
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
78
Voted
CVPR
2000
IEEE
16 years 8 days ago
2000
IEEE
Many problems in vision can be formulated as Bayesian inference. It is important to determine the accuracy of these inferences and how they depend on the problem domain. In recent...