192 search results - page 30 / 39 » Nondeterminism in Constructive Z |
GD
2004
Springer
15 years 2 months ago
2004
Springer
The no-three-in-line problem, introduced by Dudeney in 1917, asks for the maximum number of points in the n × n grid with no three points collinear. In 1951, Erd¨os proved that t...
85
Voted
GECCO
2004
Springer
15 years 2 months ago
2004
Springer
Genetic Programming uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees....
ICFEM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
86
Voted
ITS
2004
Springer
15 years 2 months ago
2004
Springer
Most of the prior descriptions of the important relationships in Intelligent Tutoring System (ITS) projects have focused on the relationships involved in their use in classrooms, ...
CONCUR
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...