5093 search results - page 46 / 1019 » How Real are Real Numbers |
FLAIRS
2006
13 years 9 months ago
2006
Decision support systems that capture, preserve, and reuse implicit knowledge can greatly benefit from explicitly using context. The development of this type of system can benefit...
ECRTS
2003
IEEE
14 years 28 days ago
2003
IEEE
When executing different real-time applications on a single processor system, one problem is how to compose these applications and guarantee at the same time that their timing req...
COR
2008
13 years 7 months ago
2008
In this paper we show how a multidimensional American real option may be solved using the LSM simulation method originally proposed by Longstaff and Schwartz [2001, The Review of ...
FTRTFT
1992
Springer
13 years 11 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
MKM
2009
Springer
14 years 2 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...