Sciweavers

2638 search results - page 341 / 528
» A Framework for Automatic Debugging
Sort
View
FUIN
2008
72views more  FUIN 2008»
15 years 7 months ago
Working with the Past: Integrating History in Petri Nets
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
Kees M. van Hee, Alexander Serebrenik, Natalia Sid...
IDA
2008
Springer
15 years 7 months ago
A comprehensive analysis of hyper-heuristics
Meta-heuristics such as simulated annealing, genetic algorithms and tabu search have been successfully applied to many difficult optimization problems for which no satisfactory pro...
Ender Özcan, Burak Bilgin, Emin Erkan Korkmaz
CVGIP
2006
96views more  CVGIP 2006»
15 years 7 months ago
Video motion analysis for the synthesis of dynamic cues and Futurist art
This paper presents new methods for stylising video to produce cartoon motion emphasis cues and modern art. Specifically, we introduce "dynamic cues" as a class of motio...
John P. Collomosse, Peter M. Hall
IGPL
2006
130views more  IGPL 2006»
15 years 6 months ago
Verifying Temporal Heap Properties Specified via Evolution Logic
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard...
IJET
2006
112views more  IJET 2006»
15 years 6 months ago
Personalized E-Learning in the Semantic Web
: The challenge of the semantic web is the provision of distributed information with well defined meaning, understandable for different parties. Particularly, applications should b...
Nicola Henze