Sciweavers

7623 search results - page 1080 / 1525
» Algorithmic Features of Eclat
Sort
View
MVA
1992
118views Computer Vision» more  MVA 1992»
15 years 8 months ago
A Mobile Robot for Visual Measurements in Architectural Applications
This paper describes a method to perform distance measurements inside buildings using a single video camera mounted on a mobile robot. This algorithm is designed specifically to c...
Xavier Lebègue, Jake K. Aggarwal
APCCM
2009
15 years 8 months ago
Modeling Natural Language Communication in Database Semantics
Database Semantics (DBS) is a computational model of how communicating with natural language works. at a level of abstraction which may be applied to natural and artificial agents...
Roland Hausser
BIOSIG
2009
75views Biometrics» more  BIOSIG 2009»
15 years 8 months ago
Multi-Sample Fusion with Template Protection
: The widespread use of biometrics and its increased popularity introduces privacy risks. In order to mitigate these risks, solutions such as the helper-data system, fuzzy vault, f...
Emile Kelkboom, Jeroen Breebaart, Raymond N. J. Ve...
CADE
2010
Springer
15 years 8 months ago
iProver-Eq: An Instantiation-Based Theorem Prover with Equality
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
Konstantin Korovin, Christoph Sticksel
CEC
2010
IEEE
15 years 8 months ago
The jMetal framework for multi-objective optimization: Design and architecture
Abstract-- jMetal is a Java-based framework for multiobjective optimization using metaheuristics. It is an ease-to-use, flexible, and extensible software package that has been used...
Juan José Durillo, Antonio J. Nebro, Enriqu...
« Prev « First page 1080 / 1525 Last » Next »