Sciweavers

451 search results - page 14 / 91
» Sample Evaluation of Ontology-Matching Systems
Sort
View
QEST
2009
IEEE
15 years 6 months ago
Simulation-Based CTMC Model Checking: An Empirical Evaluation
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
Joost-Pieter Katoen, Ivan S. Zapreev
ICDE
2010
IEEE
219views Database» more  ICDE 2010»
15 years 11 months ago
PIP: A Database System for Great and Small Expectations
Estimation via sampling out of highly selective join queries is well known to be problematic, most notably in online aggregation. Without goal-directed sampling strategies, samples...
Oliver Kennedy, Christoph Koch
CCECE
2006
IEEE
15 years 5 months ago
Human Vs. Automatic Measurement of Biometric Sample Quality
Biometric systems are designed to identify a person based on physiological or behavioral characteristics. In order to predict the utility of a particular image for identification,...
Andy Adler, Tatyana Dembinsky
FPL
2008
Springer
111views Hardware» more  FPL 2008»
15 years 1 months ago
Sampling from the exponential distribution using independent Bernoulli variates
The exponential distribution is a key distribution in many event-driven Monte-Carlo simulations, where it is used to model the time between random events in the system. This paper...
David B. Thomas, Wayne Luk
WCE
2007
15 years 26 days ago
Circuit Noise Interference on Sampling Clock and Its Effect on A/D Conversion
—Clock jitter and its effects on signal-to-noise ratio (SNR) were widely investigated in the published literatures. However, most of the issues mainly focused on white-Gaussian-n...
Sun Lei, An Jianping, Wu Yanbo