1755 search results - page 189 / 351 » An efficient simulation algorithm based on abstract interpre... |
143
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Vehicular Ad-Hoc networks (VANETs) play a critical role in enabling important active safety applications such as collision warning and vehicle tracking. The most pressin...
83
Voted
ISER
2000
Springer
15 years 7 months ago
2000
Springer
Abstract: This paper presents a comprehensive comparative study of several nonlinear controllers for stabilisation of the under actuated unstable nonlinear object known as the Acro...
127
click to vote
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
Active shape models are a powerful and widely used tool to interpret complex image data. By building models of shape variation they enable search algorithms to use a priori knowle...
110
click to vote
ICML
2008
IEEE
16 years 4 months ago
2008
IEEE
A broad class of boosting algorithms can be interpreted as performing coordinate-wise gradient descent to minimize some potential function of the margins of a data set. This class...
114
click to vote
SIGIR
2010
ACM
15 years 3 months ago
2010
ACM
We present a novel approach to query reformulation which combines syntactic and semantic information by means of generalized Levenshtein distance algorithms where the substitution...