1722 search results - page 206 / 345 » Generating Tests from Counterexamples |
93
Voted
AAAI
1997
15 years 2 months ago
1997
One of the important components of a local search strategy for satisfiability testing is the variable selection heuristic, which determines the next variable to be flipped. In a...
97
Voted
ACL
1997
15 years 2 months ago
1997
In data-oriented language processing, an annotated language corpus is used as a stochastic grammar. The most probable analysis of a new sentence is constructed by combining fragme...
83
Voted
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
In this paper a morphological component with a limited capability to automatically interpret (and generate) derived words is presented. The system combines an extended two-level m...
95
Voted
DAWAK
2008
Springer
15 years 1 months ago
2008
Springer
For more than a decade, researches on OLAP and multidimensional databases have generated methodologies, tools and resource management systems for the analysis of numeric data. With...
86
Voted
DM
2010
15 years 26 days ago
2010
Let H 2V be a hypergraph on vertex set V . For a positive integer r, we call H r-exact, if any minimal transversal of H intersects any hyperedge of H in at most r vertices. This ...