6943 search results - page 966 / 1389 » Representations for evolutionary algorithms |
187
click to vote
IROS
2006
IEEE
16 years 27 days ago
2006
IEEE
— In this paper we present an analysis of 3D line projections for central catadioptric cameras from a projective perspective. Most algorithms consider the projection of lines as ...
188
click to vote
3DIM
2005
IEEE
16 years 15 days ago
2005
IEEE
The computational cost of a collision detection (CD) algorithm on polygonal surfaces depends highly on the complexity of the models. A novel “locally refined” approach is intr...
197
click to vote
KBSE
2005
IEEE
16 years 14 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
173
click to vote
ISPD
2005
ACM
16 years 13 days ago
2005
ACM
In this paper, the problem of bus-driven floorplanning is addressed. Given a set of blocks and the bus specification (the width of each bus and the blocks that the bus need to g...
203
click to vote
CVBIA
2005
Springer
16 years 12 days ago
2005
Springer
Cardiopulmonary imaging is a key tool in modern diagnostic and interventional medicine. Automated analysis of MRI or ultrasound video is complicated by limitations on the image qua...