Sciweavers

2693 search results - page 346 / 539
» On Computing Complex Navigation Functions
Sort
View
ASM
2005
ASM
16 years 1 days ago
State Exploration with Multiple State Groupings
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
Colin Campbell, Margus Veanes
DALT
2005
Springer
16 years 1 days ago
Modelling Uncertainty in Agent Programming
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
Johan Kwisthout, Mehdi Dastani
GECCO
2005
Springer
117views Optimization» more  GECCO 2005»
16 years 19 hour ago
Directional self-learning of genetic algorithm
In order to overcome the low convergence speed and prematurity of classical genetic algorithm, an improved method named directional self-learning of genetic algorithm (DSLGA) is p...
Lin Cong, Yuheng Sha, Licheng Jiao, Fang Liu
HPCC
2005
Springer
16 years 17 hour ago
A Scalable Framework for the Support of Advanced Edge Services
Abstract. The Ubiquitous Web requires novel programming paradigms and distributed architectures for the support of advanced services to a multitude of user devices and profiles. I...
Michele Colajanni, Raffaella Grieco, Delfina Malan...
HYBRID
2005
Springer
16 years 16 hour ago
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order
In this paper, a cascade discrete-continuous state estimator on a partial order is proposed and its existence investigated. The continuous state estimation error is bounded by a mo...
Domitilla Del Vecchio, Richard M. Murray