1738 search results - page 102 / 348 » Local Consistency and SAT-Solvers |
189
Voted
CIBCB
2006
IEEE
15 years 11 months ago
2006
IEEE
: Iris recognition is accepted as one of the most efficient biometric method. Implementing this method to the practical system requires the special image preprocessing where the ir...
121
Voted
DCW
2000
Springer
15 years 10 months ago
2000
Springer
We contemplate extending the applicability of our current implementation of a DSM operating system from the locally connected PC cluster to large scale intranets and multiple feder...
137
click to vote
CIE
2007
Springer
15 years 9 months ago
2007
Springer
We prove confluence of two cut-elimination procedures for the implicational fragment of a standard intuitionistic sequent calculus. One of the cut-elimination procedures uses globa...
185
Voted
FSTTCS
2010
Springer
15 years 3 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
165
click to vote
HPCA
1997
IEEE
15 years 9 months ago
1997
IEEE
Many parallel systems offer a simple view of memory: all storage cells are addresseduniformly. Despite a uniform view of the memory, the machines differsignificantly in theirmemo...