8728 search results - page 1541 / 1746 » On Reduct Construction Algorithms |
170
click to vote
CONCUR
2000
Springer
15 years 10 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 ...
161
click to vote
CSMR
1999
IEEE
15 years 10 months ago
1999
IEEE
Maintenance activities are made more difficult when pointers are heavily used in source code: the programmer needs to build a mental model of memory locations and of the way they ...
156
Voted
COMPGEOM
1999
ACM
15 years 10 months ago
1999
ACM
We show a remarkable fact about folding paper: From a single rectangular sheet of paper, one can fold it into a flat origami that takes the (scaled) shape of any connected polygo...
177
click to vote
ECRTS
1999
IEEE
15 years 10 months ago
1999
IEEE
Many industrial applications mandate the use of a timetriggered paradigm and consequently the use of off-line scheduling for reasons such as predictability, certification, cost, o...
151
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
We consider the robot exploration of a planar graphlike world. The robot's goal is to build a complete map of its environment. The environment is modeled as an arbitrary undi...