1033 search results - page 20 / 207 » Properties of Exercise Strategies |
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
An imaging system which simultaneously performs near infrared (NIR) tomography and magnetic resonance imaging (MRI) has been developed at Dartmouth College, to study breast tissue...
LFCS
2009
Springer
15 years 2 months ago
2009
Springer
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
IFSA
2007
Springer
15 years 4 months ago
2007
Springer
Disruption on a supply chain provokes lost that should be minimized looking for alternative suppliers. This solution involves a strategy to manage the impact of the disruption and ...
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
Virtual health counseling agents on mobile devices need to be able to interrupt their users when it is time for them to engage in healthy behaviors, such as scheduled medication t...
DALT
2008
Springer
14 years 11 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...