7918 search results - page 1466 / 1584 » Model Composition Directives |
142
click to vote
POPL
2010
ACM
16 years 18 days ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
121
click to vote
SODA
2010
ACM
16 years 18 days ago
2010
ACM
We consider the following model for fire containment. We are given an undirected graph G = (V, E) with a source vertex s where the fire starts. At each time step, the firefighters...
140
click to vote
SPAA
2009
ACM
16 years 11 days ago
2009
ACM
Abstract. At-most-once semantics is one of the standard models for object access in decentralized systems. Accessing an object, such as altering the state of the object by means of...
136
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
In matching tasks in computer vision, and particularly in real-time tracking from video, there are generally strong priors available on absolute and relative correspondence locati...
113
Voted
ISBI
2009
IEEE
15 years 10 months ago
2009
IEEE
Understanding neural connectivity and structures in the brain requires detailed 3D anatomical models, and such an understanding is essential to the study of the nervous system. Ho...