5401 search results - page 184 / 1081 » Using Versions in GIS |
127
click to vote
WSC
1989
15 years 5 months ago
1989
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
164
click to vote
ICMCS
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper builds on an interactive streaming architecture that supports both user feedback interpretation, and temporal juxtaposition of multiple video bitstreams in a single str...
129
click to vote
DAM
2008
15 years 4 months ago
2008
We present here a systematic study of general boundary value problems on weighted networks that includes the variational formulation of such problems. In particular, we obtain the...
177
click to vote
WOLLIC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
140
click to vote
LCPC
2009
Springer
15 years 8 months ago
2009
Springer
The advent of multicores presents a promising opportunity for exploiting fine grained parallelism present in programs. Programs parallelized in the above fashion, typically involv...