Sciweavers

4276 search results - page 171 / 856
» Techniques for Empirical Validation
Sort
View
JMLR
2010
149views more  JMLR 2010»
15 years 1 months ago
Learning Bayesian Network Structure using LP Relaxations
We propose to solve the combinatorial problem of finding the highest scoring Bayesian network structure from data. This structure learning problem can be viewed as an inference pr...
Tommi Jaakkola, David Sontag, Amir Globerson, Mari...
CEJCS
2011
80views more  CEJCS 2011»
14 years 6 months ago
Evaluating distributed real-time and embedded system test correctness using system execution traces
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...
James H. Hill, Pooja Varshneya, Douglas C. Schmidt
DAIS
2008
15 years 8 months ago
STUNT Enhanced Java RMI
Java RMI uses HTTP tunneling for NAT traversal. While HTTP tunneling is a valid technique for traditional client
Oliver Haase, Wolfgang Reiser, Jürgen Wä...
ENTCS
2006
131views more  ENTCS 2006»
15 years 6 months ago
The Case for Analog Circuit Verification
The traditional approach to validate analog circuits is to utilize extensive SPICElevel simulations. The main challenge of this approach is knowing when all important corner cases...
Chris J. Myers, Reid R. Harrison, David Walter, Ni...
SEMWEB
2009
Springer
16 years 1 months ago
Practical Aspects of Query Rewriting for OWL 2
Abstract. Query answering for the QL profile of OWL 2 and a substantial fragment of the EL profile can be implemented via query rewriting. In our previous work, we presented RQR...
Héctor Pérez-Urbina, Ian Horrocks, B...