11436 search results - page 43 / 2288 » Modeling Real Reasoning |
FLOPS
2008
Springer
14 years 16 days ago
2008
Springer
In this paper we describe some certified algorithms for exact real arithmetic based on co-recursion. Our work is based on previous experiences using redundant digits of base 2 but ...
ICAIL
2003
ACM
14 years 4 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
SRDS
2008
IEEE
14 years 5 months ago
2008
IEEE
Large-scale distributed systems are subject to churn, i.e., continuous arrival, departure and failure of processes. Analysis of protocols under churn requires one to use churn mod...
ADHOCNOW
2006
Springer
14 years 5 months ago
2006
Springer
In mobile ad hoc network research, simulation plays an important role in determining the network characteristics and measuring performance. On the other hand, unrealistic simulatio...
VTC
2007
IEEE
14 years 5 months ago
2007
IEEE
We investigate models for uplink interference in wireless systems. Our models account for the effects of outage probabilities. Such an accounting requires a nonlinear, even nonco...