5138 search results - page 896 / 1028 » Randomized Algorithms for 3-SAT |
122
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
114
click to vote
CP
2000
Springer
15 years 6 months ago
2000
Springer
Most of complete search algorithms over Constraint Satisfaction Problems (csp) are based on Standard Backtracking. Two main enhancements of this basic scheme have been proposed : r...
104
click to vote
DL
2000
Springer
15 years 6 months ago
2000
Springer
Recommender systems improve access to relevant products and information by making personalized suggestions based on previous examples of a user's likes and dislikes. Most exi...
126
click to vote
MM
1999
ACM
15 years 6 months ago
1999
ACM
The distribution of digital video content over computer networks has become commonplace. Unfortunately, most digital video encoding standards do not degrade gracefully in the face...
121
click to vote
FGR
1998
IEEE
15 years 6 months ago
1998
IEEE
Current approaches to automated analysis have focused on a small set of prototypic expressions (e.g., joy or anger). Prototypic expressions occur infrequently in everyday life, ho...