928 search results - page 61 / 186 » The degree structure of Weihrauch-reducibility |
CSL
2007
Springer
14 years 4 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
IBPRIA
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents a method to efficiently estimate average 3-D shapes from non-rigid motion in the case of missing data. Such a shape can be further used to accomplish full reco...
MDAI
2007
Springer
14 years 4 months ago
2007
Springer
Formal concept analysis (FCA) is a method of exploratory data analysis. The data is in the form of a table describing relationship between objects (rows) and attributes (columns), ...
ISCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
— This paper describes a general approach for the unsupervised learning of behaviors in a behavior-based robot. The key idea is to formalize a behavior produced by a Motor Map dr...
SIGIR
2006
ACM
14 years 4 months ago
2006
ACM
Emails are examples of structured documents with various fields. These fields can be exploited to enhance the retrieval effectiveness of an Information Retrieval (IR) system th...