6608 search results - page 1202 / 1322 » On the Completeness of Model Checking |
115
Voted
ENTCS
2000
15 years 3 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
122
click to vote
CSDA
2007
15 years 3 months ago
2007
Previous research has shown that method two-way with error for multiple imputation in test and questionnaire data produces small bias in statistical analyses. This method is based...
126
click to vote
ALGORITHMICA
1998
15 years 3 months ago
1998
We provide here a complete average-case analysis of the binary continued fraction representation of a random rational whose numerator and denominator are odd and less than N. We an...
158
click to vote
AMAI
1998
Springer
15 years 3 months ago
1998
Springer
Overgeneralization is a major issue in the identification of grammars for formal languages from positive data. Different formulations of generalization and specialization strate...
132
click to vote
COGSCI
1998
15 years 3 months ago
1998
Conceptual integration—"blending"—is a general cognitive operation on a par with analogy, recursion, mental modeling, conceptual categorization, and framing. It serv...