Sciweavers

15660 search results - page 143 / 3132
» The Unbalance of Set Systems
Sort
View
HYBRID
2001
Springer
15 years 11 months ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
Thomas Moor, Jennifer M. Davoren
VISUALIZATION
1997
IEEE
15 years 10 months ago
Visualizing the behavior of higher dimensional dynamical systems
In recent years scientific visualization has been driven by the need to visualize high-dimensional data sets within high-dimensional spaces. However most visualization methods ar...
Rainer Wegenkittl, Helwig Löffelmann, Eduard ...
CALCO
2005
Springer
69views Mathematics» more  CALCO 2005»
16 years 3 days ago
From T-Coalgebras to Filter Structures and Transition Systems
Abstract. For any set-endofunctor T : Set → Set there exists a largest subcartesian transformation µ to the filter functor F : Set → Set. Thus we can associate with every T-c...
H. Peter Gumm
SIGMETRICS
2000
ACM
15 years 11 months ago
An analytical model of the working-set sizes in decision-support systems
This paper presents an analytical model to study how working sets scale with database size and other applications parameters in decision-support systems (DSS). The model uses appl...
Magnus Karlsson, Per Stenström
ALGOSENSORS
2006
Springer
15 years 10 months ago
Declarative Resource Naming for Macroprogramming Wireless Networks of Embedded Systems
Programming Wireless Networks of Embedded Systems (WNES) is notoriously difficult and tedious. To simplify WNES programming, we propose Declarative Resource Naming (DRN) to progra...
Chalermek Intanagonwiwat, Rajesh K. Gupta, Amin Va...