2111 search results - page 124 / 423 » How to Program Pervasive Systems |
104
click to vote
NIPS
1996
15 years 2 months ago
1996
Model learning combined with dynamic programming has been shown to be e ective for learning control of continuous state dynamic systems. The simplest method assumes the learned mod...
104
click to vote
ECLIPSE
2004
ACM
15 years 6 months ago
2004
ACM
Much research has been done on techniques to teach students how to program. However, it is usually difficult to quantify exactly how students work. Instructors typically only see ...
84
Voted
ECOOP
2006
Springer
15 years 4 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
122
Voted
IASTEDSEA
2004
15 years 2 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
126
Voted
CC
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...