13457 search results - page 113 / 2692 » Can we elect if we cannot compare |
CONSTRAINTS
1998
13 years 8 months ago
1998
This paper presents an experimental study of constraint propagation algorithms for preemptive scheduling. We propose generalizations of non-preemptive constraint propagation techni...
COLING
1996
13 years 10 months ago
1996
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
SAT
2011
Springer
12 years 12 months ago
2011
Springer
Failed literal detection (FL) in SAT is a powerful approach for preprocessing. The basic idea is to assign a variable as assumption. If boolean constraint propagation (BCP) yields ...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
Humans constantly evaluate the personalities of other people using their faces. Facial trait judgments have been studied in the psychological field, and have been determined to i...
SP
2006
IEEE
14 years 3 months ago
2006
IEEE
An all too real threat to the privacy offered by a mix network is that individual mix administrators may volunteer partial tracing information to a coercer. While this threat can ...