Sciweavers

9209 search results - page 1599 / 1842
» Data Space Randomization
Sort
View
BIRTHDAY
2007
Springer
15 years 11 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
ECML
2007
Springer
15 years 11 months ago
Nondeterministic Discretization of Weights Improves Accuracy of Neural Networks
Abstract. The paper investigates modification of backpropagation algorithm, consisting of discretization of neural network weights after each training cycle. This modification, a...
Marcin Wojnarski
118
Voted
HUC
2007
Springer
15 years 11 months ago
Yours, Mine and Ours? Sharing and Use of Technology in Domestic Environments
Domestic technologies have been a popular area of study for ubiquitous computing researchers, however there is relatively little recent data on how families currently use and share...
A. J. Bernheim Brush, Kori M. Inkpen
ICALP
2007
Springer
15 years 11 months ago
Succinct Ordinal Trees Based on Tree Covering
Abstract. Various methods have been used to represent a tree on n nodes in essentially the informationtheoretic minimum space while supporting various navigational operations in co...
Meng He, J. Ian Munro, S. Srinivasa Rao
ICANN
2007
Springer
15 years 11 months ago
Inferring Cognition from fMRI Brain Images
Abstract. Over the last few years, functional Magnetic Resonance Imaging (fMRI) has emerged as a new and powerful method to map the cognitive states of a human subject to specific...
Diego Sona, Sriharsha Veeramachaneni, Emanuele Oli...
« Prev « First page 1599 / 1842 Last » Next »