Sciweavers

4903 search results - page 407 / 981
» The Set Covering Machine
Sort
View
ECML
2004
Springer
16 years 1 months ago
Associative Clustering
This report contains derivations which did not fit into the paper [3]. Associative clustering (AC) is a method for separately clustering two data sets when one-to-one association...
Janne Sinkkonen, Janne Nikkilä, Leo Lahti, Sa...
SETN
2004
Springer
16 years 1 months ago
Music Performer Verification Based on Learning Ensembles
In this paper the problem of music performer verification is introduced. Given a certain performance of a musical piece and a set of candidate pianists the task is to examine wheth...
Efstathios Stamatatos, Ergina Kavallieratou
ICALP
2003
Springer
16 years 28 days ago
Real-Time Scheduling with a Budget
We are given a set of jobs each has a processing time, a non-negative weight, a set of possible time intervals in which it can be processed and a cost. The goal is to schedule a f...
Joseph Naor, Hadas Shachnai, Tami Tamir
CSR
2010
Springer
16 years 15 days ago
Realizability of Dynamic MSC Languages
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
Benedikt Bollig, Loïc Hélouët
DATE
1998
IEEE
73views Hardware» more  DATE 1998»
15 years 12 months ago
A Formal Description of VHDL-AMS Analogue Systems
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
Tom J. Kazmierski