1474 search results - page 152 / 295 » Exploiting Locality in a TMS |
143
click to vote
CONSTRAINTS
2006
15 years 4 months ago
2006
Covering arrays can be applied to the testing of software, hardware and advanced materials, and to the effects of hormone interaction on gene expression. In this paper we develop c...
141
click to vote
DEDS
2006
15 years 4 months ago
2006
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
123
click to vote
IBIS
2006
15 years 4 months ago
2006
In order to deal with the need of sharing learning objects within and across learning object repositories most of the recent work argue for the use of ontologies as a means for pro...
130
click to vote
JSAT
2008
15 years 4 months ago
2008
We show how to exploit the 32/64 bit architecture of modern computers to accelerate some of the algorithms used in satisfiability solving by modifying assignments to variables in ...
137
click to vote
VC
2008
15 years 4 months ago
2008
Abstract We present an efficient method for importance sampling the product of multiple functions. Our algorithm computes a quick approximation of the product on-the-fly, based on ...