Sciweavers

34181 search results - page 414 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
HUC
2003
Springer
15 years 9 months ago
Context-Aware Computing with Sound
We propose audio networking: using ubiquitously available sound hardware (i.e. speakers, sound-cards and microphones) for lowbandwidth, wireless networking. A variety of location- ...
Anil Madhavapeddy, David Scott, Richard Sharp
ICCS
2003
Springer
15 years 9 months ago
Mantle Convection Modeling with Viscoelastic/Brittle Lithosphere: Numerical and Computational Methodology
The Earth’s tectonic plates are strong, viscoelastic shells which make up the outermost part of a thermally convecting, predominantly viscous layer; at the boundaries between pla...
Louis Moresi, David May, Justin Freeman, Bill F. A...
FCCM
2000
IEEE
105views VLSI» more  FCCM 2000»
15 years 8 months ago
Configuration Relocation and Defragmentation for Reconfigurable Computing
Custom computing systems exhibit significant speedups over traditional microprocessors by mapping compute-intensive sections of a program to reconfigurable logic [Hauck98]. Howeve...
Katherine Compton, James Cooley, Stephen Knol, Sco...
ICFP
2000
ACM
15 years 8 months ago
The duality of computation
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
Pierre-Louis Curien, Hugo Herbelin
118
Voted
CORR
1998
Springer
85views Education» more  CORR 1998»
15 years 3 months ago
The Proper Treatment of Optimality in Computational Phonology
Abstract. This paper presents a novel formalization of optimality theory. Unlike previous treatments of optimality in computational linguistics, starting with Ellison 1994, the n...
Lauri Karttunen