Sciweavers

2192 search results - page 214 / 439
» Algorithms for Challenging Motif Problems
Sort
View
IGPL
2006
130views more  IGPL 2006»
15 years 4 months ago
Verifying Temporal Heap Properties Specified via Evolution Logic
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard...
TOG
2008
130views more  TOG 2008»
15 years 4 months ago
Quadrilateral mesh simplification
We introduce a simplification algorithm for meshes composed of quadrilateral elements. It is reminiscent of edge-collapse based methods for triangle meshes, but takes a novel appr...
Joel Daniels II, Cláudio T. Silva, Jason Sh...
CVIU
2004
246views more  CVIU 2004»
15 years 4 months ago
3-D reconstruction of static human body shape from image sequence
The generation of 3-D models from uncalibrated image sequences is a challenging problem that has been investigated in many research activities in the last decade. In particular, a...
Fabio Remondino
ISCI
2002
118views more  ISCI 2002»
15 years 4 months ago
Hyper-rectangle based segmentation and clustering of large video data sets
Video information processing has been one of great challenging areas in the database community since it needs huge amount of storage space and processing power. In this paper, we ...
Seok-Lyong Lee, Chin-Wan Chung
RAS
2002
115views more  RAS 2002»
15 years 4 months ago
Towards vision-based safe landing for an autonomous helicopter
Autonomous landing is a challenging problem for aerial robots. An autonomous landing manoeuver depends largely on two capabilities: the decision of where to land and the generatio...
Pedro J. Garcia-Pardo, Gaurav S. Sukhatme, James F...