Sciweavers

4209 search results - page 501 / 842
» Abstract Dialectical Frameworks
Sort
View
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
15 years 9 months ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh
CDC
2009
IEEE
134views Control Systems» more  CDC 2009»
15 years 9 months ago
On LQG joint optimal scheduling and control under communication constraints
Abstract— In this paper, we consider a discrete-time stochastic system, where sensor measurements are sent over a network to the controller. The design objective is a non-classic...
Adam Molin, Sandra Hirche
DAWAK
2009
Springer
15 years 9 months ago
What Is Spatio-Temporal Data Warehousing?
Abstract. In the last years, extending OLAP (On-Line Analytical Processing) systems with spatial and temporal features has attracted the attention of of the GIS (Geographic Informa...
Alejandro A. Vaisman, Esteban Zimányi
GD
2009
Springer
15 years 9 months ago
Port Constraints in Hierarchical Layout of Data Flow Diagrams
Abstract. We present a new application for graph drawing in the context of graphical model-based system design, where manual placing of graphical items is still state-of-the-practi...
Miro Spönemann, Hauke Fuhrmann, Reinhard von ...
ATAL
2001
Springer
15 years 9 months ago
Formalizing a Language for Institutions and Norms
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
Marc Esteva, Julian A. Padget, Carles Sierra