3713 search results - page 213 / 743 » Constructing a Calculus of Programs |
135
click to vote
IJSI
2008
15 years 3 months ago
2008
Abstract In a line of recent development, probabilistic constructions of universal, homogeneous objects have been provided in various categories of ordered structures, such as caus...
164
click to vote
EUROGP
2009
Springer
15 years 10 months ago
2009
Springer
One-class classification naturally only provides one-class of exemplars, the target class, from which to construct the classification model. The one-class approach is constructed...
105
click to vote
ICAT
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we describe early results in the development of an alternative programming method which uses large, three-dimensional acrylic blocks to construct programming sequen...
113
click to vote
UM
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes how a user modeling knowledge base for personalized TV servers can be generated starting from an analysis of lifestyles surveys. The aim of the research is the...
160
click to vote
LOGCOM
2007
15 years 3 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...