8009 search results - page 254 / 1602 » cans 2005 |
166
click to vote
HYBRID
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
191
click to vote
IBPRIA
2005
Springer
16 years 3 days ago
2005
Springer
Computer Vision can provide a great deal of assistance to Intelligent Vehicles. In this paper an Advanced Driver Assistance Systems for Vehicle Detection is presented. A geometric ...
151
click to vote
ICADL
2005
Springer
16 years 3 days ago
2005
Springer
As tools and systems for producing and disseminating image data have improved significantly in recent years, the volume of digital images has grown rapidly. An efficient mechanism ...
159
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
We study a particular aspect of the balanced allocation paradigm (also known as the “two-choices paradigm”): constant sized bins, packed as tightly as possible. Let d ≥ 1 be...
155
click to vote
ICANN
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In this paper we propose a new distance metric for probability density functions (PDF). The main advantage of this metric is that unlike the popular Kullback-Liebler (KL)...