191 search results - page 12 / 39 » The basic feasible functionals in computable analysis |
113
click to vote
EDCC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
115
click to vote
ICALP
2011
Springer
14 years 3 months ago
2011
Springer
We consider the following Tree-Constrained Bipartite Matching problem: Given two rooted trees T1 = (V1, E1), T2 = (V2, E2) and a weight function w : V1 × V2 → R+, find a maximu...
ICA3PP
2007
Springer
15 years 6 months ago
2007
Springer
Classification is a kind of basic semantics that people often use to manage versatile contents in daily life. Resource Space Model (RSM) is a semantic model for sharing and managin...
CAIP
2009
Springer
15 years 3 months ago
2009
Springer
A new type of affine moment invariants for color images is proposed in this paper. The traditional affine moment invariants can be computed on each color channel separately, yet wh...
HCI
2009
14 years 9 months ago
2009
Quantitative models of whole body expressive movement can be developed by combining methods form biomechanics, psychology, and statistics. The purpose of this paper was to use moti...