2634 search results - page 414 / 527 » Faster Than Uppaal |
214
click to vote
DASFAA
2011
IEEE
14 years 8 months ago
2011
IEEE
Continuous monitoring of spatial queries has gained significant research attention in the past few years. Although numerous algorithms have been proposed to solve specific queries...
188
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We propose Compact And Real-time Descriptors (CARD) which can be computed very rapidly and be expressed by short binary codes. An efficient algorithm based on lookup tables is pr...
189
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We present a generalized subgraph preconditioning (GSP) technique to solve large-scale bundle adjustment problems efficiently. In contrast with previous work which uses either di...
194
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Effective and efficient generation of keypoints from an image is a well-studied problem in the literature and forms the basis of numerous Computer Vision applications. Establishe...
156
click to vote
AAAI
2011
14 years 6 months ago
2011
The standard approach to computing an optimal mixed strategy to commit to is based on solving a set of linear programs, one for each of the follower’s pure strategies. We show t...