8766 search results - page 1314 / 1754 » Functional logic programming |
134
Voted
EUROCAST
2005
Springer
15 years 10 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...
150
click to vote
ICNC
2005
Springer
15 years 10 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...
135
click to vote
CMMR
2003
Springer
15 years 10 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...
133
Voted
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
131
click to vote
ICPP
2002
IEEE
15 years 9 months ago
2002
IEEE
The development of correct synchronization code for distributed programs is a challenging task. In this paper, we propose an aspect oriented technique for developing synchronizati...