2462 search results - page 200 / 493 » Consistent cooperative localization |
202
click to vote
CIBCB
2006
IEEE
16 years 18 days 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...
136
click to vote
DCW
2000
Springer
15 years 11 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...
149
click to vote
CIE
2007
Springer
15 years 10 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...
196
click to vote
FSTTCS
2010
Springer
15 years 4 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...
166
click to vote
GROUP
2005
ACM
16 years 3 days ago
2005
ACM
Shared workspace systems provide virtual places for selforganized and semi-structured cooperation between local and distributed team members. These cooperation systems have been a...