7195 search results - page 853 / 1439 » On Computing Power |
178
click to vote
AI
2005
Springer
15 years 7 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
222
click to vote
JCP
2007
15 years 7 months ago
2007
—Computer Supported Collaborative Learning (CSCL) tool adoption is slow and challenging when compared to the dissemination of simpler content delivery systems. The lack of techni...
175
click to vote
TVCG
2008
15 years 7 months ago
2008
Surveys and opinion polls are extremely popular in the media, especially in the months preceding a general election. However, the available tools for analyzing poll results often r...
202
click to vote
VLSISP
2008
15 years 7 months ago
2008
H.264/AVC is the latest video coding standard adopting variable block size motion estimation (VBS-ME), quarter-pixel accuracy, motion vector prediction and multi-reference frames f...
163
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
We discuss potential market mechanisms for the GRID. A complete dynamical model of a GRID market is defined with three types of agents. Providers, middlemen and users exchange uni...