Sciweavers

2962 search results - page 302 / 593
» The Bunch-Active Shape Model
Sort
View
ICSE
2003
IEEE-ACM
16 years 6 months ago
An Effective Layout Adaptation Technique for a Graphical Modeling Tool
Editing graphic models always entails layout problems. Inserting and deleting items requires tedious manual work for shifting existing items and rearranging the diagram layout. He...
Christian Seybold, Martin Glinz, Silvio Meier, Nan...
ILC
2007
Springer
16 years 25 days ago
Towards Model-Checking Programs with Lists
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
Alain Finkel, Étienne Lozes, Arnaud Sangnie...
ICARCV
2006
IEEE
132views Robotics» more  ICARCV 2006»
16 years 22 days ago
Dynamic Environment Modeling with Gridmap: A Multiple-Object Tracking Application
— The Bayesian occupancy filter (BOF) [1] has achieved promising results in the object tracking applications. This paper presents a new development of BOF which inherits origina...
Cheng Chen, Christopher Tay, Christian Laugier, Ka...
ASPDAC
2006
ACM
143views Hardware» more  ASPDAC 2006»
16 years 19 days ago
CDCTree: novel obstacle-avoiding routing tree construction based on current driven circuit model
Abstract— Routing tree construction is a fundamental problem in modern VLSI design. In this paper we propose CDCTree, an Obstacle-Avoiding Rectilinear Steiner Minimum Tree (OARSM...
Yiyu Shi, Tong Jing, Lei He, Zhe Feng 0002, Xianlo...
ICCS
2005
Springer
16 years 5 days ago
Adaptive Surface Modeling Using a Quadtree of Quadratic Finite Elements
Abstract. This article presents special quadrilateral quadratic refinement elements, which provide geometry and field continuity across Tjunctions where two elements are connecte...
G. P. Nikishkov