2777 search results - page 330 / 556 » Example centric programming |
126
click to vote
WSC
1994
15 years 4 months ago
1994
CSIM is a simulation model-building toolkit that is used by C/C++ programmers to implement processoriented, discrete-event simulation models. These models mimic the operation of c...
111
click to vote
IJCAI
1989
15 years 4 months ago
1989
This paper describes DIDO, a system we have developed to carry out exploratory learning of unfamiliar domains without assistance from an external teacher. The program incorporates...
125
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
140
click to vote
CSR
2009
Springer
15 years 4 months ago
2009
Springer
We study the approximability of the maximum solution problem. This problem is an optimisation variant of the constraint satisfaction problem and it captures a wide range of interes...
119
Voted
EUROITV
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we propose an experimental platform for the design of interactive TV. On this platform, designers are allowed to emulate broadcasting programs, define control functi...