11436 search results - page 423 / 2288 » Modeling Real Reasoning |
187
click to vote
FMLDO
2000
Springer
15 years 8 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
121
Voted
TPHOL
2000
IEEE
15 years 8 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...
164
Voted
DEON
2008
Springer
15 years 6 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...
161
Voted
LICS
2010
IEEE
15 years 3 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...
175
Voted
ESSLLI
2009
Springer
15 years 2 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...