11436 search results - page 175 / 2288 » Modeling Real Reasoning |
117
click to vote
OTM
2004
Springer
15 years 8 months ago
2004
Springer
Case-based reasoning in the law is a reasoning strategy in which legal conclusions are supported by decisions made by judges. If the case at hand is analogous to a settled case, th...
128
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
126
click to vote
WSC
2007
15 years 5 months ago
2007
We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...
142
click to vote
ECEASST
2010
14 years 10 months ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
168
click to vote
SIGMETRICS
1998
ACM
15 years 7 months ago
1998
ACM
Modern disk drives read-ahead data and reorder incoming requests in a workload-dependent fashion. This improves their performance, but makes simple analytical models of them inade...