7988 search results - page 1331 / 1598 » A Useful Undecidable Theory |
125
click to vote
CCE
2010
15 years 2 months ago
2010
This paper presents a systems analysis perspective that extends the traditional process design framework to green process design, green energy and industrial ecology leading to su...
131
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Traditional communication theory focuses on minimizing transmit power. However, communication links are increasingly operating at shorter ranges where transmit power can be signif...
162
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Schaefer's theorem is a complexity classification result for so-called Boolean constraint satisfaction problems: it states that every Boolean constraint satisfaction problem ...
233
click to vote
ECCV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Graph cuts has emerged as a preferred method to solve a class of energy minimization problems in computer vision. It has been shown that graph cut algorithms designed kee...
180
click to vote
HUC
2010
Springer
15 years 2 months ago
2010
Springer
Consumer game platforms are realizing Ubicomp's vision of seamless, sensor-based, embodied interaction with computation. Here we present Propinquity, a full-body dancing/figh...