Sciweavers

1093 search results - page 120 / 219
» Fast Abstracts
Sort
View
TITS
2010
220views Education» more  TITS 2010»
13 years 3 months ago
Vehicle Logo Recognition Using a SIFT-Based Enhanced Matching Scheme
Abstract--In this paper, a new algorithm for vehicle logo recognition on the basis of an enhanced scale-invariant feature transform (SIFT)-based feature-matching scheme is proposed...
Apostolos P. Psyllos, Christos-Nikolaos Anagnostop...
TON
2010
168views more  TON 2010»
13 years 3 months ago
Engineering Wireless Mesh Networks: Joint Scheduling, Routing, Power Control, and Rate Adaptation
Abstract--We present a number of significant engineering insights on what makes a good configuration for medium- to largesize wireless mesh networks (WMNs) when the objective funct...
Jun Luo, Catherine Rosenberg, André Girard
CDC
2010
IEEE
145views Control Systems» more  CDC 2010»
13 years 24 days ago
Cooperative mission planning for a class of carrier-vehicle systems
Abstract— In this work we focus on mission planning problems in scenarios in which a carrier vehicle, typically slow but with virtually infinite range, and a carried vehicle, wh...
Emanuele Garone, Roberto Naldi, Alessandro Casavol...
ISMM
2011
Springer
13 years 1 days ago
Surface Reconstruction Using Power Watershed
Abstract. Surface reconstruction from a set of noisy point measurements has been a well studied problem for several decades. Recently, variational and discrete optimization approac...
Camille Couprie, Xavier Bresson, Laurent Najman, H...
FROCOS
2011
Springer
12 years 8 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...