2227 search results - page 181 / 446 » Reversibility and Models for Concurrency |
172
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
159
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
205
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a novel method for detecting and quantifying 3D structure in stacks of microscopic images captured at incremental focal lengths. We express the image data as stochastic...
131
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper presents a novel method for the removal of unwanted image intensity due to occluding objects far from the plane of focus. Such occlusions may arise in scenes with large...
149
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper addresses a novel approach to the nvehicle collision avoidance problem. The vehicle model used is a planar unicycle, chosen for its wide applicability to gro...