3502 search results - page 671 / 701 » From Machine Learning to Machine Reasoning |
118
click to vote
NSDI
2010
15 years 2 months ago
2010
Mugshot is a system that captures every event in an executing JavaScript program, allowing developers to deterministically replay past executions of web applications. Replay is us...
152
click to vote
NIPS
2001
15 years 2 months ago
2001
Guided by an initial idea of building a complex (non linear) decision surface with maximal local margin in input space, we give a possible geometrical intuition as to why K-Neares...
104
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: The local connectivity and global position of a protein in a protein interaction network are known to correlate with some of its functional properties, including its e...
124
click to vote
CACM
2010
15 years 1 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
125
click to vote
TSE
2008
15 years 1 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...