Sciweavers

5096 search results - page 738 / 1020
» Associations as a Language Construct
Sort
View
152
Voted
LICS
2002
IEEE
15 years 11 months ago
The Powerdomain of Indexed Valuations
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
Daniele Varacca
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 11 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
178
Voted
SAC
2009
ACM
15 years 11 months ago
Discovering XML keys and foreign keys in queries
The XML has undoubtedly become a standard for data representation and manipulation. But most of XML documents are still created without the respective description of their structu...
Martin Necaský, Irena Mlýnková...
SOCO
2009
Springer
15 years 11 months ago
I-Java: An Extension of Java with Incomplete Objects and Object Composition
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting the behavior of objects to be ...
Lorenzo Bettini, Viviana Bono, Erica Turin
IFL
2001
Springer
15 years 11 months ago
Sized Types for Typing Eden Skeletons
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
Ricardo Pena, Clara Segura