Sciweavers

460 search results - page 55 / 92
» Computational Analysis of Move Structures in Academic Abstra...
Sort
View
144
Voted
ASWEC
2005
IEEE
15 years 9 months ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
149
Voted
COMPGEOM
2005
ACM
15 years 5 months ago
Inclusion-exclusion formulas from independent complexes
Using inclusion-exclusion, we can write the indicator function of a union of finitely many balls as an alternating sum of indicator functions of common intersections of balls. We...
Dominique Attali, Herbert Edelsbrunner
139
Voted
ICCV
1995
IEEE
15 years 7 months ago
3D Human Body Model Acquisition from Multiple Views
We present a novel motion-based approach for the part determination and shape estimation of a human’s body parts. The novelty of the technique is that neither a prior model of t...
Ioannis A. Kakadiaris, Dimitris N. Metaxas
152
Voted
ICCV
2009
IEEE
15 years 1 months ago
Realtime background subtraction from dynamic scenes
This paper examines the problem of moving object detection. More precisely, it addresses the difficult scenarios where background scene textures in the video might change over tim...
Li Cheng, Minglun Gong
130
Voted
ECCV
1998
Springer
16 years 5 months ago
Study of Dynamical Processes with Tensor-Based Spatiotemporal Image Processing Techniques
Abstract. Image sequence processing techniques are used to study exchange, growth, and transport processes and to tackle key questions in environmental physics and biology. These a...
Bernd Jähne, Horst W. Haussecker, Hanno Schar...