Sciweavers

5722 search results - page 391 / 1145
» Dynamic inference control
Sort
View
ATAL
2007
Springer
16 years 1 months ago
A Dynamic Coordination Mechanism Using Adjustable Autonomy
Agents in an organization need to coordinate their actions in order to reach the organizational goals. This research describes the relation between types of coordination and the au...
Bob van der Vecht, Frank Dignum, John-Jules Ch. Me...
GECCO
2007
Springer
159views Optimization» more  GECCO 2007»
16 years 1 months ago
Two adaptive mutation operators for optima tracking in dynamic optimization problems with evolution strategies
The dynamic optimization problem concerns finding an optimum in a changing environment. In the tracking problem, the optimizer should be able to follow the optimum’s changes ov...
Claudio Rossi, Antonio Barrientos, Jaime del Cerro
LFCS
2007
Springer
16 years 1 months ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer
ISPA
2004
Springer
16 years 12 days ago
An Adaptive Routing Strategy Based on Dynamic Cache in Mobile Ad Hoc Networks
The dynamic changes of the topology caused by the movement of nodes makes routing become one of the key problems in the mobile Ad Hoc Networks (MANET). So how to optimize routing b...
YueQuan Chen, Xiaofeng Guo, QingKai Zeng, Guihai C...
ESOP
2001
Springer
15 years 11 months ago
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-G...