Sciweavers

2608 search results - page 169 / 522
» Subjects, Models, Languages, Transformations
Sort
View
PKDD
2000
Springer
120views Data Mining» more  PKDD 2000»
15 years 10 months ago
Multi-Relational Data Mining, Using UML for ILP
Although there is a growing need for multi-relational data mining solutions in KDD, the use of obvious candidates from the field of Inductive Logic Programming (ILP) has been limit...
Arno J. Knobbe, Arno Siebes, Hendrik Blockeel, Dan...
ENTCS
2002
78views more  ENTCS 2002»
15 years 6 months ago
Slicing Synchronous Reactive Programs
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
Vinod Ganapathy, S. Ramesh
IJMMS
2007
114views more  IJMMS 2007»
15 years 6 months ago
A fuzzy physiological approach for continuously modeling emotion during interaction with play technologies
The popularity of computer games has exploded in recent years, yet methods of evaluating user emotional state during play experiences lag far behind. There are few methods of asse...
Regan L. Mandryk, M. Stella Atkins
SIMUTOOLS
2008
15 years 7 months ago
Simulating process chain models with OMNeT++
This paper presents an approach to simulate complex hierarchical process chains resulting from large logistics networks in OMNeT++, a discrete event simulation environment designe...
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian...
POPL
2010
ACM
16 years 3 months ago
Generating Compiler Optimizations from Proofs
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
Ross Tate, Michael Stepp, Sorin Lerner