2042 search results - page 246 / 409 » Variable Number of |
144
click to vote
CP
2008
Springer
15 years 7 months ago
2008
Springer
The Constraint Satisfaction Problem (CSP) framework allows users to define problems in a declarative way, quite independently from the solving process. However, when the problem i...
143
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
162
click to vote
CSREAESA
2003
15 years 6 months ago
2003
This paper presents a comparison of power-aware video decoding techniques that utilize Dynamic Voltage Scaling (DVS) capability. Three techniques were simulated and compared in te...
138
click to vote
PICS
2003
15 years 6 months ago
2003
In studying image quality and image preference it is necessary to collect psychophysical data. A variety of methods are used to arrive at interval scale values which indicate the ...
159
click to vote
ISMB
1998
15 years 6 months ago
1998
A Bayesian procedure for the simultaneous alignment and classification of sequences into subclasses is described. This Gibbs sampling algorithm iterates between an alignment step ...