5810 search results - page 1145 / 1162 » An Approach to Programming Based on Concepts |
MICRO
2007
IEEE
14 years 4 months ago
2007
IEEE
Program runtime characteristics exhibit significant variation. As microprocessor architectures become more complex, their efficiency depends on the capability of adapting with wor...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Reinforcement learning promises a generic method for adapting agents to arbitrary tasks in arbitrary stochastic environments, but applying it to new real-world problems remains di...
ERCIMDL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Optical music recognition (OMR) enables librarians to digitise early music sources on a large scale. The cost of expert human labour to correct automatic recognition erro...
ICFEM
2007
Springer
14 years 3 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...