4894 search results - page 318 / 979 » Dynamic Abstraction Planning |
185
click to vote
GD
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Generating incrementally stable layouts is important for visualizing dynamic graphs in many applications. This paper describes DynaDAG, a new heuristic for incremental la...
159
click to vote
ICAI
2004
15 years 8 months ago
2004
Abstract-- We define a framework for what we call potentialbased computing and show how it may be applied to actionmotion applications in general and dynamic games in particular. W...
179
click to vote
ICWN
2004
15 years 8 months ago
2004
Abstract--This paper presents a model for the dissemination of information in highly dynamic ad hoc networks, such as those composed of mobile communicating devices. This model rel...
157
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The Boolean satisfiability problem (SAT) can be solved efficiently with variants of the DPLL algorithm. For industrial SAT problems, DPLL with conflict analysis depend...
204
click to vote
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...