1285 search results - page 181 / 257 » Structural Operators for Modeling 3-Manifolds |
112
Voted
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
We present a framework for extracting image contours based on geometric and structural consistency among edge element locations and orientations. The paper presents two contributi...
110
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Collision detection and estimation from a monocular visual sensor is an important enabling technology for safe navigation of small or micro air vehicles in near earth ï...
126
Voted
ISQED
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
158
Voted
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
162
Voted
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...