10909 search results - page 358 / 2182 » Evaluating Backup Algorithms |
171
click to vote
BCSHCI
2009
15 years 7 months ago
2009
User modelling is widely used in HCI but there are very few systematic HCI modelling tools for people with disabilities. We are developing user models to help with the design and ...
155
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Bioactivity profiling using high-throughput in vitro assays can reduce the cost and time required for toxicological screening of environmental chemicals and can also r...
189
click to vote
DISOPT
2008
15 years 6 months ago
2008
The paper is concerned with the computational evaluation and comparison of a new family of conflict-based branching heuristics for evolved DPLL Satisfiability solvers. Such a fami...
143
click to vote
RSA
2006
15 years 6 months ago
2006
: On input a random 3-CNF formula of clauses-to-variables ratio r3 applies repeatedly the following simple heuristic: Set to True a literal that appears in the maximum number of cl...
185
click to vote
TCAD
2008
15 years 6 months ago
2008
Physical synthesis tools are responsible for achieving timing closure. Starting with 130nm designs, multiple cycles are required to cross the chip, making latch placement critical...