5630 search results - page 804 / 1126 » Computability in Specification |
178
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
As Field-Programmable Gate Array (FPGA) power consumption continues to increase, lower power FPGA circuitry, architectures, and Computer-Aided Design (CAD) tools need to be develo...
151
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
172
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
We present data-driven methods for supporting musical creativity by capturing the statistics of a musical database. Specifically, we introduce a system that supports users in expl...
145
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
In this paper, we present results from a study of collocated group console gaming. We focus, in particular, on observed gaming practices that emphasized the individual gamer withi...
159
click to vote
Publication
Detection of motion patterns in video data can be significantly simplified by abstracting away from pixel
intensity values towards representations that explicitly and compactly ca...