2477 search results - page 354 / 496 » Parallelizing Functional Programs by Generalization |
161
click to vote
EUROCAST
2005
Springer
15 years 11 months ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...
165
click to vote
ICNC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In recent years, support vector machines (SVMs) have become a popular tool for pattern recognition and machine learning. Training a SVM involves solving a constrained qua...
157
click to vote
CMMR
2003
Springer
15 years 11 months ago
2003
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the fi...
189
click to vote
MICCAI
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Sulcal medial surfaces are 3D thin convoluted ribbons embedded in cortical sulci, and they provide distinctive anatomical features of the brain. Here we propose a new app...
182
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...