2776 search results - page 151 / 556 » System-Level Abstraction Semantics |
120
Voted
SAB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Population of simulated agents controlled by dynamical neural networks are trained by artificial evolution to access linguistic instructions and to execute them by indic...
163
click to vote
ECOOP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
128
click to vote
DASFAA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these impleme...
132
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
118
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we propose an algorithm for personalized learning based on a user’s query and a repository of lecture subparts —i.e., learning objects— both are descr...