1805 search results - page 278 / 361 » A Theory of Closure Operators |
137
click to vote
PODS
2010
ACM
15 years 9 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
130
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
118
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...
130
click to vote
IPMU
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Many geographical applications need to model spatial phenomena with vague or indeterminate boundaries and interiors. A popular paradigm adopted by the GIS community for t...
115
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Given an arbitrary network of interconnected nodes, each with an initial value from a discrete set, we consider the problem of distributively disseminating these initial values...