Sciweavers

10916 search results - page 332 / 2184
» On Constructive Connectives and Systems
Sort
View
AUTOMATICA
2008
106views more  AUTOMATICA 2008»
15 years 7 months ago
Synchronizing linear systems via partial-state coupling
A basic result in synchronization of linear systems via output coupling is presented. For identical discrete-time linear systems that are detectable from their outputs and neutral...
S. Emre Tuna
ISCI
2002
106views more  ISCI 2002»
15 years 6 months ago
Neighborhood operator systems and approximations
This paper presents a framework for the study of generalizing the standard notion of equivalence relation in rough set approximation space with various categories of k-step neighb...
Wei-Zhi Wu, Wen-Xiu Zhang
WMCSA
2008
IEEE
16 years 1 months ago
The obscure nature of epidemic quorum systems
Epidemic quorum systems enable highly available agreement even when a quorum is not simultaneously connected, and are therefore very interesting for mobile networks. Although rece...
João Barreto, Paulo Ferreira
VMCAI
2004
Springer
16 years 5 days ago
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
David Harel
ALS
2003
Springer
16 years 2 days ago
Whose Anticipations?
The central question in this paper is: Who (or what) constructs anticipations? I challenge the (tacit) assumption of Rosen’s standard definition of anticipatory systems according...
Alexander Riegler