3713 search results - page 364 / 743 » Constructing a Calculus of Programs |
130
click to vote
ICPPW
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we use the tensor product notation as the framework of a programming methodology for designing block recursive algorithms on various computer networks. In our previ...
121
click to vote
PODS
1989
ACM
15 years 8 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
147
click to vote
NIPS
1993
15 years 6 months ago
1993
Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...
157
click to vote
IJET
2007
15 years 4 months ago
2007
Remarkable advances in instructional communication technology (ICT) have now made is possible to provide high levels of enrichment and the kinds of curricular differentiation that...
157
Voted
ML
2002
ACM
15 years 4 months ago
2002
ACM
We examine linear program (LP) approaches to boosting and demonstrate their efficient solution using LPBoost, a column generation based simplex method. We formulate the problem as...