2609 search results - page 263 / 522 » Models for Global Constraint Applications |
163
click to vote
CA
2003
IEEE
15 years 12 months ago
2003
IEEE
Pedestrian navigation is a complex function of human dynamics, a desired destination, and the presence of obstacles. People cannot stop and start instantaneously and their turning...
189
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
189
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Reluctance of data owners to share their possibly confidential or proprietary data with others who own related databases is a serious impediment to conducting a mutually beneficia...
193
click to vote
SCALESPACE
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we introduce a semi-automated segmentation method based on minimizing the Geodesic Active Contour energy incorporating a shape prior. We increase the robustness of t...
165
click to vote
JNW
2006
15 years 6 months ago
2006
Abstract--Highly distributed environments such as pervasive computing environments not having global or broad control, need another attribute certificate management technique. For ...