1199 search results - page 112 / 240 » Automated Extraction of Problem Structure |
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
This paper describes a new motion based feature extraction technique for speaker identification using orientation estimation in 2D manifolds. The motion is estimated by computing ...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
— Positioning a robot with respect to objects by using data provided by a camera is a well known technique called visual servoing. In order to perform a task, the object must exh...
MATES
2005
Springer
14 years 2 months ago
2005
Springer
Accessing up-to-date information in a fast and easy way implies the necessity of information management tools to explore and analyse the huge number of available electronic resourc...
GCB
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The biomedical literature grows at a tremendous rate, so that finding the relevant literature is becoming more and more difficult. To address this problem we introduce ...