Sciweavers

3736 search results - page 310 / 748
» Generative Programming
Sort
View
IFIP
2004
Springer
15 years 9 months ago
Developing re-usable interactive storytelling technologies
: Despite the growing interest in Interactive Storytelling (IS), there have been only a small number of implemented demonstrators and few have attempted at developing a re-usable I...
Marc Cavazza, Fred Charles, Steven J. Mead
MCS
2009
Springer
15 years 10 months ago
Selective Ensemble under Regularization Framework
An ensemble is generated by training multiple component learners for a same task and then combining them for predictions. It is known that when lots of trained learners are availab...
Nan Li, Zhi-Hua Zhou
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
15 years 9 months ago
The Implementation of iData
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
Rinus Plasmeijer, Peter Achten
APLAS
2006
ACM
15 years 7 months ago
Combining Offline and Online Optimizations: Register Allocation and Method Inlining
Abstract. Fast dynamic compilers trade code quality for short compilation time in order to balance application performance and startup time. This paper investigates the interplay o...
Hiroshi Yamauchi, Jan Vitek
APN
2001
Springer
15 years 7 months ago
Partial Order Verification of Programmable Logic Controllers
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
Peter Deussen