4047 search results - page 678 / 810 » Algebraic Model Checking |
163
Voted
TEC
2002
15 years 2 months ago
2002
Abstract--The particle swarm is an algorithm for finding optimal regions of complex search spaces through the interaction of individuals in a population of particles. Even though t...
137
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...
105
Voted
PVLDB
2010
15 years 1 months ago
2010
We report on a query compilation technique that enables the construction of alternative efficient query providers for Microsoft’s Language Integrated Query (LINQ) framework. LIN...
148
click to vote
ICITS
2009
15 years 11 days ago
2009
In a multisecret sharing scheme, several secret values are distributed among a set of n users, and each secret may have a different associated access structure. We consider here un...
143
Voted
BMVC
2010
14 years 9 months ago
2010
Many recent keypoint detectors associate a local scale (for multiscale detectors) or even a full affine frame (for affine-invariant detectors) to each detected keypoint. Although ...