Sciweavers

2932 search results - page 328 / 587
» Higher order mining
Sort
View
ROBOCUP
2004
Springer
103views Robotics» more  ROBOCUP 2004»
15 years 11 months ago
A Constructive Feature Detection Approach for Robotic Vision
We describe a new method for detecting features on a marked RoboCup field. We implemented the framework for robots with omnidirectional vision, but the method can be easily adapte...
Felix von Hundelshausen, Michael Schreiber, Ra&uac...
TPHOL
2003
IEEE
15 years 10 months ago
Applications of Polytypism in Theorem Proving
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
Konrad Slind, Joe Hurd
WETICE
2003
IEEE
15 years 10 months ago
Using Design Rationales for Agile Documentation
Recently, Agile Software Processes have been discussed as flexible and light-weight alternatives to established Software Engineering approaches, in order to overcome the obstacles...
Thomas Sauer
AVBPA
2003
Springer
121views Biometrics» more  AVBPA 2003»
15 years 10 months ago
Enhanced VQ-Based Algorithms for Speech Independent Speaker Identification
Abstract. Weighted distance measure and discriminative training are two different approaches to enhance VQ-based solutions for speaker identification. To account for varying import...
Ningping Fan, Justinian P. Rosca
126
Voted
ISAAC
2003
Springer
144views Algorithms» more  ISAAC 2003»
15 years 10 months ago
Biconnectivity on Symbolically Represented Graphs: A Linear Solution
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
Raffaella Gentilini, Alberto Policriti