5215 search results - page 272 / 1043 » A model of normative power |
185
click to vote
EVOW
2005
Springer
16 years 23 days ago
2005
Springer
In this paper, we combine a powerful representation for graph colouring problems with different heuristic strategies for colour assignment. Our novel strategies employ heuristics ...
147
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
We propose a circuit performance oriented device optimization methodology using pre-silicon parameters and critical paths which represent the performance of the chip. Based on our...
174
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...
246
click to vote
AVSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Generative 3D face models are a powerful tool in computer vision. They provide pose and illumination invariance by modeling the space of 3D faces and the imaging process. The powe...
180
click to vote
MASCOTS
2010
15 years 8 months ago
2010
Controlling energy usage in data centers, and storage in particular, continues to rise in importance. Many systems and models have examined energy efficiency through intelligent sp...