11345 search results - page 1595 / 2269 » Foundations of Computer Science |
153
click to vote
ICALP
2004
Springer
16 years 19 days ago
2004
Springer
We give a simple formulation of Karr’s algorithm for computing all affine relationships in affine programs. This simplified algorithm runs in time O(nk3 ) where n is the progr...
171
click to vote
ICS
2004
Tsinghua U.
16 years 19 days ago
2004
Tsinghua U.
The use of semi-Lagrangian formulations in numerical weather predication models (NWP) allows for an increase in time step size. Use of this method can increase performance of thes...
156
click to vote
MFCS
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We devise an efficient protocol by which a series of twoperson games Gi with unique winning strategies can be combined into a single game G with unique winning strategy, ...
187
click to vote
PDCAT
2004
Springer
16 years 18 days ago
2004
Springer
Seismic modeling is an integral part of the seismic data processing for oil and gas exploration, as it provides us the seismic response for a given earth model. Grid enabled seismi...
197
click to vote
COOPIS
2003
IEEE
16 years 16 days ago
2003
IEEE
Ontologies in current computer science parlance are computer based resources that represent agreed domain semantics. This paper first introduces ontologies in general and subseque...