3713 search results - page 554 / 743 » Constructing a Calculus of Programs |
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— We construct a family of iterative discretization algorithms for computing sequences of finitely-supported correlated equilibria of n-player games with polynomial utility func...
123
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper we extend the definition of a Motion Description Language (MDL) to networked systems. This new construction (MDLn) supports inter-agent specification rules as w...
114
click to vote
CSMR
2008
IEEE
15 years 9 months ago
2008
IEEE
Databases are continuously evolving environments, where design constructs are added, removed or updated rather often. Small changes in the database configurations might impact a l...
114
click to vote
ICDCSW
2008
IEEE
15 years 9 months ago
2008
IEEE
Automated addition of fault-tolerance to existing programs is highly desirable, as it allows the designer to focus on the system behavior in the absence of faults and leave the fa...
146
click to vote
ICNSC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, a variance constrained filtering problem is considered for systems with both non-Gaussian noises and polytopic uncertainty. A novel filter is developed to estimate t...