11716 search results - page 2051 / 2344 » Computable symbolic dynamics |
109
click to vote
DSVIS
2003
Springer
15 years 6 months ago
2003
Springer
Based on a revision of the common task understanding in model-based approaches a formal meta model is proposed which allows more expressive task descriptions. A task is considered ...
93
Voted
EUROPAR
2003
Springer
15 years 6 months ago
2003
Springer
Efficient discovery and resource allocation is one of the challenges of current Peer-to-Peer systems. In centralized approaches, the user requests can be matched to the fastest, ch...
123
click to vote
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
ISMIR
2003
Springer
15 years 6 months ago
2003
Springer
Music alignment links events in a score and points on the audio performance time axis. All the parts of a recording can be thus indexed according to score information. The automat...
102
click to vote
GPC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. A Service-Level Agreement (SLA) provides surety for specific quality attributes to the consumers of services. However, the current SLAs offered by cloud providers do no...