1492 search results - page 116 / 299 » Testing Properties of Constraint-Graphs |
125
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
116
Voted
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Aiming to build a complete benchmark for better evaluation of existing ontology systems, we extend the well-known Lehigh University Benchmark in terms of inference and sc...
185
click to vote
KONVENS
2000
15 years 7 months ago
2000
In this paper we describe a noise reduction preprocessing algorithm for the adaptive multirate (AMR) speech codec of the GSM system. The algorithm is based on spectral weighting a...
135
click to vote
DLT
2008
15 years 5 months ago
2008
A tree automaton with global tree equality and disequality constraints, TAGED for short, is an automaton on trees which allows to test (dis)equalities between subtrees which may be...
134
click to vote
AI
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the problem of eliciting CP-nets in the well-known model of exact learning with equivalence and membership queries. The goal is to identify a preference ordering wi...