Sciweavers

1941 search results - page 249 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
CGI
2004
IEEE
15 years 9 months ago
Surface Models of Tube Trees
This paper describes a new method for generating surfaces of branching tubular structures with given centerlines and radii. As the centerlines are not straight lines, the cross-se...
Petr Felkel, Rainer Wegenkittl, Katja Bühler
BIRTHDAY
2003
Springer
15 years 8 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
148
Voted
ECCV
2006
Springer
16 years 7 months ago
Carved Visual Hulls for Image-Based Modeling
Abstract. This article presents a novel method for acquiring high-quality solid models of complex 3D shapes from multiple calibrated photographs. After the purely geometric constra...
Yasutaka Furukawa, Jean Ponce
ACCV
2010
Springer
15 years 5 days ago
Modeling Sense Disambiguation of Human Pose: Recognizing Action at a Distance by Key Poses
Abstract. We propose a methodology for recognizing actions at a distance by watching the human poses and deriving descriptors that capture the motion patterns of the poses. Human p...
Snehasis Mukherjee, Sujoy Kumar Biswas, Dipti Pras...
EUROMICRO
1998
IEEE
15 years 9 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs