11436 search results - page 253 / 2288 » Modeling Real Reasoning |
102
Voted
JSYML
2002
15 years 3 months ago
2002
Any model of ZFC + GCH has a generic extension (made with a poset of size 2) in which the following hold: MA + 20 = 2+ there exists a 2 1-well ordering of the reals. The proof con...
176
Voted
TPHOL
2006
IEEE
15 years 9 months ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
115
Voted
DLOG
1996
15 years 5 months ago
1996
Several significant problems exist whenapplying knowledge representation systems to real problems. In particular, the obscurity of LISP, the resource consumption, garbage collecti...
157
Voted
ISDA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In business analysis, models are sometimes oversimplified. We pragmatically approach many problems with a single financial objective and include monetary values for non-m...
124
Voted
WSC
2007
15 years 6 months ago
2007
The TCP models in ns-2 have been validated and are widely used in network research. They are however not aimed at producing results consistent with a TCP implementation, they are ...