1419 search results - page 12 / 284 » Notes on Formalizing Context |
82
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we study the reliable decentralized supervisory control of discrete event systems (DESs) under the general architecture, in which the decision for controllable event...
95
Voted
GD
2001
Springer
15 years 5 months ago
2001
Springer
The origins of chart graphics (e.g., bar charts and line charts) are well known, with the seminal event being the publication of William Playfair´s (1759-1823) ¨The Commercial a...
89
Voted
RC
1998
15 years 3 days ago
1998
Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the...
101
click to vote
ENTCS
2008
15 years 15 days ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
CEC
2003
IEEE
15 years 5 months ago
2003
IEEE
A population of virtual robots is evolved to perform the task of competitively painting the floor of a toroidal room. Two robots are present in any given room and paint using dis...