1738 search results - page 102 / 348 » Local Consistency and SAT-Solvers |
CIBCB
2006
IEEE
14 years 4 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...
DCW
2000
Springer
14 years 2 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...
CIE
2007
Springer
14 years 2 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...
FSTTCS
2010
Springer
13 years 8 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...
HPCA
1997
IEEE
14 years 2 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...