4281 search results - page 59 / 857 » How to Disembed a Program |
119
click to vote
JAIR
2008
15 years 17 days ago
2008
Sentence compression holds promise for many applications ranging from summarization to subtitle generation. Our work views sentence compression as an optimization problem and uses...
102
Voted
NETWORKS
2008
15 years 16 days ago
2008
Given a graph where increasing the weight of an edge has a nondecreasing convex piecewise linear cost, we study the problem of finding a minimum cost increase of the weights so tha...
72
Voted
ENTCS
2002
15 years 12 days ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
124
click to vote
JELIA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
127
click to vote
AOR
2010
14 years 10 months ago
2010
We show how a technique from signal processing known as zero-delay convolution can be used to develop more efficient dynamic programming algorithms for a broad class of stochastic...