2465 search results - page 339 / 493 » Automata on Linear Orderings |
152
click to vote
MSS
1999
IEEE
15 years 10 months ago
1999
IEEE
When the BaBar experiment at the Stanford Linear Accelerator Center starts in April 1999, it will generate approximately 200TB/year of data at a rate of 10MB/sec for 10 years. A m...
175
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
In this paper we present a set of efficient image based rendering methods capable of rendering multiple frames per second on a PC. The first method warps Sprites with Depth repr...
177
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
158
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
192
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The Probabilistic Adaptive Mapping Developmental Genetic Programming (PAM DGP) algorithm that cooperatively coevolves a population of adaptive mappings and associated genotypes is...