Sciweavers

17298 search results - page 467 / 3460
» Abstract computing machines
Sort
View
WIOPT
2011
IEEE
14 years 10 months ago
Distributed function computation in networks: A joint delay-energy perspective
Abstract—This paper considers the following network computation problem:
Nikhil Karamchandani, Massimo Franceschetti
CSE
2009
IEEE
16 years 1 months ago
Community Computing: Comparisons between Rural and Urban Societies Using Mobile Phone Data
Abstract—We present a comparative analysis of the behavioral dynamics of rural and urban societies using four years
Nathan Eagle, Yves-Alexandre de Montjoye, Lu&iacut...
SOFSEM
2000
Springer
15 years 10 months ago
Computing the Dimension of Linear Subspaces
Abstract. Since its very beginning, linear algebra is a highly algorithmic subject. Let us just mention the famous Gau
Martin Ziegler, Vasco Brattka
CSL
2000
Springer
15 years 6 months ago
On the Computational Interpretation of Negation
Abstract. We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction. We first show why this cannot be simply ...
Michel Parigot
ANTS
1998
Springer
112views Algorithms» more  ANTS 1998»
15 years 11 months ago
Unit Computation in Purely Cubic Function Fields of Unit Rank 1
Abstract. This paper describes a method for computing the fundamental unit and regulator of a purely cubic congruence function field of unit
Renate Scheidler, Andreas Stein