Sciweavers

6274 search results - page 263 / 1255
» Proofs, Programs, Processes
Sort
View
DSS
2006
108views more  DSS 2006»
15 years 6 months ago
Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming
Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit"...
Wil M. P. van der Aalst
ICIP
2005
IEEE
16 years 8 months ago
Dynamic programming algorithm for rate-distortion optimized media streaming
We propose a dynamic programming algorithm for finding optimal transmission policies for a single packet in ratedistortion optimized media streaming. The algorithm relies on an op...
Jean Cardinal, Martin Röder, Raouf Hamzaoui
DSRT
2008
IEEE
16 years 1 months ago
Simulation and Implementation of the PTIDES Programming Model
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
Patricia Derler, Edward A. Lee, Slobodan Matic
EUROGP
2007
Springer
175views Optimization» more  EUROGP 2007»
16 years 21 days ago
Fast Genetic Programming on GPUs
As is typical in evolutionary algorithms, fitness evaluation in GP takes the majority of the computational effort. In this paper we demonstrate the use of the Graphics Processing...
Simon Harding, Wolfgang Banzhaf
EVOW
2007
Springer
16 years 21 days ago
Learning and Recognition of Hand-Drawn Shapes Using Generative Genetic Programming
We describe a novel method of evolutionary visual learning that uses generative approach for assessing learner’s ability to recognize image contents. Each learner, implemented as...
Wojciech Jaskowski, Krzysztof Krawiec, Bartosz Wie...