2162 search results - page 63 / 433 » Automated Reasoning on Feature Models |
125
Voted
LICS
1989
IEEE
15 years 7 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
108
Voted
TPHOL
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper outlines a formal model of the Intel IA-64 architecture, and explains how this model can be used to verify the correctness of assembly-level code optimizations. The form...
152
Voted
DEON
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based s...
144
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...
153
Voted
ESSLLI
2009
Springer
15 years 1 months ago
2009
Springer
This paper addresses the problem of selecting the `optimal' variable subset in a logistic regression model for a medium-sized data set. As a case study, we take the British En...