Sciweavers

3318 search results - page 442 / 664
» The Weak Instance Model
Sort
View
APN
2004
Springer
15 years 9 months ago
An Extensible Editor and Simulation Engine for Petri Nets: Renew
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
Olaf Kummer, Frank Wienberg, Michael Duvigneau, J&...
CSL
2004
Springer
15 years 9 months ago
Fixed Points of Type Constructors and Primitive Recursion
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...
Andreas Abel, Ralph Matthes
ICWE
2004
Springer
15 years 9 months ago
Semantic Lookup in Service-Oriented Architectures
Lookup of services is an important issues in many distributed systems. This paper deals with lookup in service-oriented architectures, such as Web services, P2P systems, GRIDs, or ...
Uwe Zdun
ISMIR
2004
Springer
165views Music» more  ISMIR 2004»
15 years 9 months ago
Musical instrument recognition based on class pairwise feature selection
In this work, musical instrument recognition is considered on solo music from real world performance. A large sound database is used that consists of musical phrases excerpted fro...
Slim Essid, Gaël Richard, Bertrand David
PATAT
2004
Springer
151views Education» more  PATAT 2004»
15 years 9 months ago
Decomposition and Parallelization of Multi-resource Timetabling Problems
The timetabling problem consists in fixing a sequence of meetings between teachers and students in a prefixed period of time (typically a week), satisfying a set of constraints of ...
Petr Slechta