2918 search results - page 499 / 584 » Learning qualitative models from numerical data |
177
click to vote
VMCAI
2009
Springer
16 years 23 days ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
186
click to vote
GLOBECOM
2009
IEEE
15 years 9 months ago
2009
IEEE
We consider the design and performance analysis of adaptive modulation and coding (AMC) applied to regenerative dual-hop transmission systems, where a source node communicates with...
143
click to vote
ISMB
2000
15 years 7 months ago
2000
Knowing the number of residue contacts in a protein is crucial for deriving constraints useful in modeling protein folding, protein structure, and/or scoring remote homology searc...
163
click to vote
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Selection cooperation is proposed for rateless coded relaying by developing a novel low-complexity protocol that exploits all source-destination, source-relay, and relay-destinatio...
192
click to vote
TMC
2011
15 years 27 days ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...