7195 search results - page 843 / 1439 » On Computing Power |
157
click to vote
AIPS
2008
15 years 9 months ago
2008
In this paper, we report on a new solver for large instances of the Disjunctive Temporal Problem (DTP). Our solver is based primarily on the idea of employing "compact" ...
175
click to vote
WSC
2007
15 years 9 months ago
2007
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
194
click to vote
ASSETS
2008
ACM
15 years 9 months ago
2008
ACM
This proposal is about a brain-controlled electrically powered wheelchair. The system comprises a brain-computer interface based on steady-state visual evoked potentials and a pro...
222
click to vote
AUSDM
2008
Springer
15 years 9 months ago
2008
Springer
Growing up is in large measure learning about the world and our social and linguistic environment. We might call this data mining, although it is far more multimodal and immersive...
180
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...