406 search results - page 62 / 82 » Constraints on Strong Generative Power |
119
Voted
IJCV
2006
15 years 22 days ago
2006
In this research we address the problem of classification and labeling of regions given a single static natural image. Natural images exhibit strong spatial dependencies, and mode...
CF
2010
ACM
15 years 5 months ago
2010
ACM
As the number of transistors on a chip doubles with every technology generation, the number of on-chip cores also increases rapidly, making possible in a foreseeable future to des...
208
Voted
ASPDAC
2012
ACM
13 years 8 months ago
2012
ACM
— The Dark Silicon Age kicked off with the transition to multicore and will be characterized by a wild chase for seemingly ever-more insane architectural designs. At the heart o...
117
Voted
SIGMETRICS
2012
ACM
13 years 3 months ago
2012
ACM
The demand for data center computing increased significantly in recent years resulting in huge energy consumption. Data centers typically comprise three main subsystems: IT equip...
105
click to vote
ICFEM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...