Sciweavers

380 search results - page 36 / 76
» Simulating Evolution's First Steps
Sort
View
PAMI
2011
14 years 6 months ago
Removal of Partial Occlusion from Single Images
— This paper examines large partial occlusions in an image, which occur near depth discontinuities when the foreground object is severely out of focus. We model these partial occ...
Scott McCloskey, Michael S. Langer, Kaleem Siddiqi
110
Voted
CVPR
2008
IEEE
16 years 1 months ago
Automatic registration of aerial imagery with untextured 3D LiDAR models
A fast 3D model reconstruction methodology is desirable in many applications such as urban planning, training, and simulations. In this paper, we develop an automated algorithm fo...
Min Ding, Kristian Lyngbaek, Avideh Zakhor
I3E
2001
196views Business» more  I3E 2001»
15 years 15 days ago
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
Jan Jürjens, Guido Wimmel
VTS
2003
IEEE
131views Hardware» more  VTS 2003»
15 years 4 months ago
Efficient Implication - Based Untestable Bridge Fault Identifier
: This paper presents a novel, low cost technique based on implications to identify untestable bridging faults in sequential circuits. Sequential symbolic simulation [1] is first p...
Manan Syal, Michael S. Hsiao, Kiran B. Doreswamy, ...
EUROPAR
2006
Springer
15 years 2 months ago
A Practical Approach of Diffusion Load Balancing Algorithms
In this paper, a practical approach of diffusion load balancing algorithms and its implementation are studied. Three problems are investigated. The first one is the determination ...
Emmanuel Jeannot, Flavien Vernier