6274 search results - page 747 / 1255 » Proofs, Programs, Processes |
197
click to vote
IE
2007
15 years 8 months ago
2007
Images are widely used in media contexts such as web design, games and video animation. The process of creating interesting images can be enjoyable if a useful tool is involved. I...
185
click to vote
ICMLA
2007
15 years 8 months ago
2007
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...
171
click to vote
IADIS
2004
15 years 8 months ago
2004
This paper outlines new perspectives on the teaching and learning of software systems development in large groups based on a newly designed, final year, Software Systems Analysis ...
197
click to vote
AAAI
1998
15 years 8 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
180
click to vote
ENTCS
2006
15 years 7 months ago
2006
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...