Sciweavers

2425 search results - page 136 / 485
» An abstraction of the Lidar measurements
Sort
View
CLEF
2007
Springer
15 years 10 months ago
On the Application of Lexical-Syntactic Knowledge to the Answer Validation Exercise
Abstract. This paper presents a system that applies Textual Entailment recognition techniques to the AVE task. This is performed comparing representations of text snippets by means...
Óscar Ferrández, Daniel Micol, Rafae...
COLT
2007
Springer
15 years 10 months ago
Robust Reductions from Ranking to Classification
Abstract. We reduce ranking, as measured by the Area Under the Receiver Operating Characteristic Curve (AUC), to binary classification. The core theorem shows that a binary classif...
Maria-Florina Balcan, Nikhil Bansal, Alina Beygelz...
HYBRID
2007
Springer
15 years 10 months ago
Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation
Abstract. This article proposes a new capture basin algorithm for computing the numerical solution of a class of Hamilton-Jacobi-Bellman (HJB) partial differential equations (PDEs)...
Alexandre M. Bayen, Christian G. Claudel, Patrick ...
CAISE
2006
Springer
15 years 10 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
DGCI
2006
Springer
15 years 10 months ago
Topologically Correct Image Segmentation Using Alpha Shapes
Abstract. Existing theories on shape digitization impose strong constraints on feasible shapes and require error-free measurements. We use Delaunay triangulation and -shapes to pro...
Peer Stelldinger, Ullrich Köthe, Hans Meine