5550 search results - page 891 / 1110 » Different Approaches to Proof Systems |
171
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Distributed Partially Observable Markov Decision Problems (Distributed POMDPs) are evolving as a popular approach for modeling multiagent systems, and many different algorithms ha...
184
click to vote
CSCW
2006
ACM
15 years 6 months ago
2006
ACM
Healthcare organizations are often organized in a modular, loosely coupled fashion where separate and semi-autonomous work units specialize in different areas of care delivery. Thi...
215
click to vote
IJRR
2010
15 years 4 months ago
2010
The MAV '08 competition focused on the problem of using air and ground vehicles to locate and rescue hostages being held in a remote building. To execute this mission, a numbe...
202
click to vote
JCC
2011
15 years 1 months ago
2011
Abstract: With today’s available computer power, free energy calculations from equilibrium molecular dynamics simulations “via counting” become feasible for an increasing num...
170
Voted
CHI
2011
ACM
14 years 10 months ago
2011
ACM
When designing questionnaires there is a tradition of including items with both positive and negative wording to minimize acquiescence and extreme response biases. Two disadvantag...