5423 search results - page 212 / 1085 » Denial-of-service in automation systems |
163
click to vote
TCIAIG
2010
15 years 1 months ago
2010
It is easy to create new combinatorial games but more difficult to predict those that will interest human players. We examine the concept of game quality, its automated measurement...
197
click to vote
FLOPS
1999
Springer
15 years 11 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
183
click to vote
FLOPS
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
172
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
Our concern in this paper is with conjecturing diagnoses to explain what happened to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We charac...
166
click to vote
SIGGRAPH
1993
ACM
15 years 10 months ago
1993
ACM
We describe two instances in which precise mechanical calibration of virtual environments equipment has been replaced by automated algorithmic calibration through software that en...