Sciweavers

1837 search results - page 77 / 368
» Abstraction and the C Machine Model
Sort
View
COLT
2004
Springer
15 years 10 months ago
A Statistical Mechanics Analysis of Gram Matrix Eigenvalue Spectra
Abstract. The Gram matrix plays a central role in many kernel methods. Knowledge about the distribution of eigenvalues of the Gram matrix is useful for developing appropriate model...
David C. Hoyle, Magnus Rattray
BIRTHDAY
2003
Springer
15 years 10 months ago
Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective
Abstract. A novel framework for the design and analysis of energy-aware algorithms is presented, centered around a deterministic Bit-level (Boltzmann) Random Access Machine or BRAM...
Krishna V. Palem
DBSEC
2007
128views Database» more  DBSEC 2007»
15 years 6 months ago
gVault: A Gmail Based Cryptographic Network File System
Abstract. In this paper, we present the design of gVault, a cryptographic network file system that utilizes the data storage provided by Gmail’s web-based email service. Such a ...
Ravi Chandra Jammalamadaka, Roberto Gamboni, Shara...
EWC
2007
102views more  EWC 2007»
15 years 4 months ago
Interactive collision detection in three-dimensional visualizations of simulated construction operations
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable con...
Vineet R. Kamat, Julio C. Martínez
FOCM
2010
108views more  FOCM 2010»
15 years 3 months ago
Parallelization Method for a Continuous Property
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
Pawel Pilarczyk