Sciweavers

882 search results - page 84 / 177
» On self-embeddings of computable linear orderings
Sort
View
SSPR
2010
Springer
14 years 8 months ago
Fast Population Game Dynamics for Dominant Sets and Other Quadratic Optimization Problems
We propose a fast population game dynamics, motivated by the analogy with infection and immunization processes within a population of “players,” for finding dominant sets, a p...
Samuel Rota Bulò, Immanuel M. Bomze, Marcel...
MMAS
2010
Springer
14 years 4 months ago
Incorporating Active Transport of Cellular Cargo in Stochastic Mesoscopic Models of Living Cells
We propose a new multiscale method to incorporate active transport of cargo particles in biological cells in stochastic, mesoscopic models of reaction-transport processes. Given a...
Andreas Hellander, Per Lötstedt
SIGGRAPH
1998
ACM
15 years 2 months ago
Layered Depth Images
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...
Jonathan Shade, Steven J. Gortler, Li-wei He, Rich...
BIRTHDAY
2007
Springer
15 years 2 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
ACSC
2004
IEEE
15 years 1 months ago
Lossless Image Compression Using Pixel Reordering
Lossless image compression techniques typically consider images to be a sequence of pixels in row major order. The processing of each pixel consists of two separate operations. Th...
Michael Ciavarella, Alistair Moffat