3154 search results - page 33 / 631 » Computing Closed Skycubes |
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
CEDAR (Counter Example Driven Antichain Refinement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes ...
SIGCSE
1998
ACM
14 years 1 months ago
1998
ACM
On-line programming tests and examinations were administered to approximately 120 first year computer science students in order to evaluate their practical skills. We describe ou...
LSSC
2005
Springer
14 years 2 months ago
2005
Springer
Starting from states near to a closed set S we want to steer S and to stay always close to S. Unfortunately, open-loop controls are very sensitive to disturbances and can lead to v...
HCI
2009
13 years 6 months ago
2009
:
HINC
2003
Springer
14 years 2 months ago
2003
Springer
With the acquisition of the first computer in 1964 programming was introduced into the engineering curriculum at the University of Iceland. Subsequently applied mathematics curricu...