1050 search results - page 52 / 210 » Towards programming for the non-technical |
ICALP
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
SIGMOD
2008
ACM
14 years 8 months ago
2008
ACM
Current approaches to develop information extraction (IE) programs have largely focused on producing precise IE results. As such, they suffer from three major limitations. First, ...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
ETS
2002
IEEE
13 years 8 months ago
2002
IEEE
Educational theorists have long associated distance education with self-study. In recent years, however, increasingly advanced technologies have made it possible to conduct distan...
CONSTRAINTS
1998
13 years 8 months ago
1998
This paper describes an architecture that begins with enough general knowledge to play any board game as a novice, and then shifts its decision-making emphasis to learned, game-sp...