3713 search results - page 180 / 743 » Constructing a Calculus of Programs |
140
Voted
ICFEM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
132
Voted
LMO
1996
15 years 4 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
115
click to vote
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
Many applications of supervised learning require good generalization from limited labeled data. In the Bayesian setting, we can try to achieve this goal by using an informative pr...
139
Voted
PODS
2002
ACM
16 years 3 months ago
2002
ACM
Data Warehousing and OLAPapplications typically view data as having multiple logical dimensions e.g., product, location with natural hierarchies de ned on each dimension. OLAP que...
102
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Crossover in Genetic Programming is mostly a destructive operator, generally producing children worse than the parents and occasionally producing those who are better. A recently ...