Sciweavers

1033 search results - page 58 / 207
» Properties of Exercise Strategies
Sort
View
CDC
2008
IEEE
15 years 4 months ago
Controllability and observability of leader-based multi-agent systems
— In this work we analyze the controllability and observability properties of several interconnection configurations such as the chain topology and cyclic topology as well as co...
Rogelio Lozano, Mark W. Spong, Jose Alfredo Guerre...
STACS
2004
Springer
15 years 3 months ago
Active Context-Free Games
An Active Context-Free Game is a game with two players (Romeo and Juliet) on strings over a finite alphabet. In each move, Juliet selects a position of the current word and Romeo ...
Anca Muscholl, Thomas Schwentick, Luc Segoufin
BIRTHDAY
2006
Springer
15 years 1 months ago
Proving Behavioral Refinements of COL-specifications
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
Michel Bidoit, Rolf Hennicker
CAISE
2006
Springer
15 years 1 months ago
Managing Source Quality Changes in a Data Integration System
This thesis addresses the problem of source quality changes in Data Integration Systems. Its main goal is to propose techniques for maintaining as much as possible the satisfaction...
Adriana Marotta
ESANN
2008
14 years 11 months ago
Using graph-theoretic measures to predict the performance of associative memory models
We test a selection of associative memory models built with different connection strategies, exploring the relationship between the structural properties of each network and its pa...
Lee Calcraft, Rod Adams, Weiliang Chen, Neil Davey