11436 search results - page 235 / 2288 » Modeling Real Reasoning |
123
Voted
TMC
2010
15 years 1 months ago
2010
—Rate adaptation is a critical component that impacts the performance of IEEE 802.11 wireless networks. In congested networks, traditional rate adaptation algorithms have been sh...
149
Voted
APPROX
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Exchanging messages between nodes of a network (e.g., embedded computers) is a fundamental issue in real-time systems involving critical routing and scheduling decisions....
134
click to vote
UM
2007
Springer
15 years 9 months ago
2007
Springer
: SimStudent is a machine-learning agent that learns cognitive skills by demonstration. It was originally developed as a building block of the Cognitive Tutor Authoring Tools (CTAT...
137
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In strategic multiagent decision making, it is often the case that a strategic reasoner must hold beliefs about other agents and use these beliefs to inform its decision making. T...
108
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...