1788 search results - page 221 / 358 » Model Theory for Process Algebra |
133
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
—The focus of the work in this paper is the construction and analysis of a dynamical system model for human decision making in sequential two-choice tasks. In these tasks, a huma...
166
click to vote
TELETRAFFIC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...
124
click to vote
SIGIR
2006
ACM
15 years 11 months ago
2006
ACM
Information retrieval algorithms leverage various collection statistics to improve performance. Because these statistics are often computed on a relatively small evaluation corpus...
125
click to vote
IJMMS
1998
15 years 4 months ago
1998
: Decision-support systems that help solving problems in open and weak theory domains, i.e. hard problems, need improved methods to ground their models in real world situations. Mo...
141
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We develop a new graphical representation for interactive partially observable Markov decision processes (I-POMDPs) that is significantly more transparent and semantically clear t...