4022 search results - page 413 / 805 » Adaptive Sweeping Techniques |
230
click to vote
SDL
2001
15 years 9 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
178
click to vote
INTERACT
2003
15 years 9 months ago
2003
: When designing an interactive application where the main users are children, a set of special needs must be taken into account. Usability and Accessibility are two important issu...
191
click to vote
AAAI
1998
15 years 9 months ago
1998
AI planning techniques are beginning to find use in a number of practical planning domains. However, the backward-chaining and partial-order-planning control strategies traditiona...
188
click to vote
IPCO
1998
15 years 9 months ago
1998
We introduce a gain-scaling technique for the generalized maximum ow problem. Using this technique, we present three simple and intuitive polynomial-time combinatorialalgorithms fo...
229
click to vote
WSC
1998
15 years 9 months ago
1998
It is well known that the performance of a parallel discreteevent simulation (PDES) depends on the allocation of the workload to processors. In particular, poor performance may be...