2208 search results - page 199 / 442 » Memory Practices in the Sciences |
SPIN
2010
Springer
14 years 9 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
142
click to vote
PUC
2011
14 years 5 months ago
2011
The design of physical interfaces has been constrained by the relative akinesis of the material world. Current advances in materials science promise to change this. In this paper, ...
121
click to vote
TCSV
2011
14 years 5 months ago
2011
This paper proposes a background subtraction method for Bayer-pattern image sequences. The proposed method models the background in a Bayer-pattern domain using a mixture of Gauss...
CHB
2011
14 years 2 months ago
2011
Cognitive science is the scientific domain which studies, analyses, simulates and infers for various aspects, functions and procedures of human mentality such as, thinking, logic, ...
OSDI
2008
ACM
15 years 11 months ago
2008
ACM
We pose partitioning a b-bit Internet Protocol (IP) address space as a supervised learning task. Given (IP, property) labeled training data, we develop an IP-specific clustering a...