Sciweavers

17298 search results - page 65 / 3460
» Abstract computing machines
Sort
View
CIE
2007
Springer
14 years 3 months ago
Abstract Geometrical Computation and the Linear Blum, Shub and Smale Model
Geometrical Computation and the Linear Blum, Shub and Smale Model Geometrical Computation and the Linear Blum, Shub and Smale Model J´erˆome Durand-Lose Laboratoire d’Informati...
Jérôme Durand-Lose
ICALP
2007
Springer
14 years 3 months ago
Categorical Views on Computations on Trees (Extended Abstract)
Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu
DBPL
2007
Springer
102views Database» more  DBPL 2007»
14 years 3 months ago
A Theory of Stream Queries
Data streams are modeled as infinite or finite sequences of data elements coming from an arbitrary but fixed universe. The universe can have various built-in functions and predi...
Yuri Gurevich, Dirk Leinders, Jan Van den Bussche
CORR
2010
Springer
146views Education» more  CORR 2010»
13 years 9 months ago
Abstract Fixpoint Computations with Numerical Acceleration Methods
Fixpoint Computations with Numerical Acceleration Methods Olivier Bouissou1 , Yassamine Seladji1 CEA, LIST, Laboratory for the Modeling and Analysis of Interacting Systems 91191 Gi...
Olivier Bouissou, Yassamine Seladji, Alexandre Cha...