1362 search results - page 196 / 273 » The Projection of Systolic Programs |
151
click to vote
IPCO
2004
15 years 5 months ago
2004
Managing an industrial production facility requires carefully allocating limited resources, and gives rise to large, potentially complicated scheduling problems. In this paper we c...
169
click to vote
ANLP
2000
15 years 5 months ago
2000
JAVOX provides a mechanism for the development of spoken-language systems from existing desktop applications. We present an architecture that allows existing Java1 programs to be ...
139
click to vote
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representat...
131
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
139
click to vote
FAC
2006
15 years 4 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...