2266 search results - page 421 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
114
click to vote
FC
1998
Springer
15 years 5 months ago
1998
Springer
Emerging electronic commerce services that use public-key cryptography on a mass-market scale require sophisticated mechanisms for managing trust. For example, any service that rec...
170
click to vote
SIAMMAX
2010
14 years 8 months ago
2010
The problem of completing a low-rank matrix from a subset of its entries is often encountered in the analysis of incomplete data sets exhibiting an underlying factor model with app...
107
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
Adapting keyword search to XML data has been attractive recently, generalized as XML keyword search (XKS). One of its key tasks is to return the meaningful fragments as the result...
111
click to vote
ICALP
2009
Springer
15 years 8 months ago
2009
Springer
Speed scaling is a power management technique that involves dynamically changing the speed of a processor. This gives rise to dualobjective scheduling problems, where the operating...
118
click to vote
ICCAD
1994
IEEE
15 years 5 months ago
1994
IEEE
A simple extension of the critical path method is presented which allows more accurate optimization of circuits with level-sensitive latches. The extended formulation provides a s...