3771 search results - page 199 / 755 » Subobject Transformation Systems |
132
Voted
CADE
2008
Springer
15 years 5 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
132
Voted
WSC
2000
15 years 5 months ago
2000
This paper presents the development and simulation of a novel Genetic Algorithm (GA) based methodology applied to optimal tuning of a fuzzy dispatching system for a fleet of autom...
128
click to vote
AUTOMATICA
2007
15 years 3 months ago
2007
This paper addresses the problem of simultaneously estimating the state and the input of a linear discrete-time system. A recursive filter, optimal in the minimum-variance unbias...
131
Voted
RTCSA
2007
IEEE
15 years 10 months ago
2007
IEEE
MB++ is a system that caters to the dynamic needs of applications in a distributed, pervasive computing environment that has a wide variety of devices that act as producers and co...
120
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Graph constraints and application conditions are most important for graph grammars and transformation systems in a large variety of application areas. Although different...