Sciweavers

5608 search results - page 246 / 1122
» On the Theory of Matchgate Computations
Sort
View
185
Voted
FOSSACS
2005
Springer
16 years 5 days ago
A Computational Model for Multi-variable Differential Calculus
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
Abbas Edalat, André Lieutier, Dirk Pattinso...
ICTAC
2005
Springer
16 years 4 days ago
Toward an Abstract Computer Virology
n abstract computer virology G. Bonfante, M. Kaczmarek, and J-Y Marion Loria, Calligramme project, B.P. 239, 54506 Vandœuvre-l`es-Nancy C´edex, France, and ´Ecole Nationale Sup...
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves ...
ADC
2004
Springer
87views Database» more  ADC 2004»
16 years 1 days ago
On the Computation of Approximations of Database Queries
Reflective Relational Machines were introduced by S. Abiteboul, C. Papadimitriou and V. Vianu in 1994, as variations of Turing machines which are suitable for the computation of ...
Flavio Antonio Ferrarotti, Jose Maria Turull Torre...
156
Voted
MM
2003
ACM
105views Multimedia» more  MM 2003»
15 years 12 months ago
Universal synchronization scheme for distributed audio-video capture on heterogeneous computing platforms
We propose a universal synchronization scheme for distributed audio-video capture on heterogeneous computing devices such as laptops, tablets, PDAs, cellular phones, audio recorde...
Rainer Lienhart, Igor Kozintsev, Stefan Wehr
SC
2003
ACM
15 years 12 months ago
Synthesizing Realistic Computational Grids
Realistic workloads are essential in evaluating middleware for computational grids. One important component is the raw grid itself: a network topology graph annotated with the har...
Dong Lu, Peter A. Dinda