11017 search results - page 96 / 2204 » Closure Systems and their Structure |
ICALT
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper proposes a novel approach to the visualization of complex, but interrelated, sets of information to ease user cognition. Principally, it explores the potential of provi...
JCDCG
2000
Springer
13 years 11 months ago
2000
Springer
We study intersection properties of systems of segments in the plane. In particular, we show that there exists a constant c > 0 such that every system S of n straight-line segme...
AUTOMATICA
2008
13 years 8 months ago
2008
In this paper we show how the symmetry present in many linear systems can be exploited to significantly reduce the computational effort required for controller synthesis. This app...
P2P
2005
IEEE
14 years 1 months ago
2005
IEEE
We address the problem of highly transient populations in unstructured and loosely-structured peerto-peer systems. We propose a number of illustrative query-related strategies and...
CONCUR
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...