Geodesic

Tome 21 (2011) no. 1

Sommaire

FSP and FLTL framework for specification and verification of middle-agents
p. 9-25
Engineering intelligent systems on the knowledge formalization continuum
p. 27-39
Defining the semantics of rule-based Web applications through model-driven development
p. 41-55
Application of agent-based simulated annealing and tabu search procedures to solving the data reduction problem
p. 57-68
A method for learning scenario determination and modification in intelligent tutoring systems
p. 69-82
Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
p. 83-95
Stability and Hopf bifurcation analysis for a Lotka-Volterra predator-prey model with two delays
p. 97-107
Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems
p. 109-125
Stability of impulsive Hopfield neural networks with Markovian switching and time-varying delays
p. 127-135
Neural network based feedback linearization control of a servo-hydraulic vehicle suspension system
p. 137-147
Simple environment for developing methods of controlling chaos in spatially distributed systems
p. 149-159
On generalized inverses of singular matrix pencils
p. 161-172
Hierarchical residue number systems with small moduli and simple converters
p. 173-192
System matrix computation for iterative reconstruction algorithms in SPECT based on direct measurements
p. 193-202
KHM clustering technique as a segmentation method for endoscopic colour images
p. 203-209