12289 search results - page 695 / 2458 » computing 2006 |
172
click to vote
CP
2006
Springer
15 years 11 months ago
2006
Springer
We propose a branch and prune algorithm that is able to compute inner and outer approximations of the solution set of an existentially quantified constraint where existential param...
193
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
Rounding a real-valued matrix to an integer one such that the rounding errors in all rows and columns are less than one is a classical problem. It has been applied to hypergraph co...
198
click to vote
ITICSE
2006
ACM
16 years 1 months ago
2006
ACM
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
203
click to vote
IJMMS
2007
15 years 7 months ago
2007
The popularity of computer games has exploded in recent years, yet methods of evaluating user emotional state during play experiences lag far behind. There are few methods of asse...
177
click to vote
HPDC
2006
IEEE
16 years 1 months ago
2006
IEEE
Most parallel computing resources are controlled by batch schedulers that place requests for computation in a queue until access to compute nodes is granted. Queue waiting times a...