6274 search results - page 807 / 1255 » Proofs, Programs, Processes |
168
click to vote
CP
2005
Springer
16 years 11 days ago
2005
Springer
Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In man...
172
Voted
IFIP
2004
Springer
16 years 6 days ago
2004
Springer
We introduce a new synchronization problem in mobile ad-hoc systems: the Driving Philosophers. In this problem, an unbounded number of driving philosophers (processes) access a rou...
174
click to vote
CMMR
2003
Springer
16 years 2 days 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...
185
click to vote
IFL
2003
Springer
16 years 1 days ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
191
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, a method to automatically extract the main information from a long-term electrocardiographic signal is presented. This method is based on techniques of pattern reco...