7623 search results - page 808 / 1525 » Constructive Volume Modeling |
214
click to vote
FLOPS
2004
Springer
16 years 26 days ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
201
click to vote
ICLP
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
218
click to vote
RSCTC
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. In this paper, we discuss approximation spaces in a granular computing framework. Such approximation spaces generalise the approaches to concept approximation existing in...
182
click to vote
ECBS
2003
IEEE
16 years 23 days ago
2003
IEEE
“The Unified Modeling Language (UML) is a graphical language for visualizing, specifying, constructing, and documenting the artifacts of a softwareintensive system” [1]. This ...
186
click to vote
ISIPTA
2003
IEEE
16 years 22 days ago
2003
IEEE
We generalise the optimisation technique of dynamic programming for discretetime systems with an uncertain gain function. We assume that uncertainty about the gain function is des...