Sciweavers

994 search results - page 78 / 199
» Modeling task allocation using a decision theoretic model
Sort
View
136
Voted
EWSN
2007
Springer
16 years 3 months ago
Model-Based Design Exploration of Wireless Sensor Node Lifetimes
This paper presents two lifetime models that describe two of the most common modes of operation of sensor nodes today, triggerdriven and duty-cycle driven. The models use a set of ...
Deokwoo Jung, Thiago Teixeira, Andrew Barton-Sween...
137
Voted
ICML
2010
IEEE
15 years 4 months ago
Modeling Interaction via the Principle of Maximum Causal Entropy
The principle of maximum entropy provides a powerful framework for statistical models of joint, conditional, and marginal distributions. However, there are many important distribu...
Brian Ziebart, J. Andrew Bagnell, Anind K. Dey
SBP
2010
Springer
15 years 1 months ago
Mitigating Issues Related to the Modeling of Insurgent Recruitment
Modeling the specific motivations and influences related to an individual‘s decision to become involved in insurgent warfare presents its own collection of unique challenges. The...
Erica Briscoe, Ethan Trewhitt, Lora Weiss, Elizabe...
IUI
2003
ACM
15 years 8 months ago
Personal choice point: helping users visualize what it means to buy a BMW
How do we know if we can afford a particular purchase? We can find out what the payments might be and check our balances on various accounts, but does this answer the question? Wh...
Andrew E. Fano, Scott W. Kurth
TACAS
2001
Springer
135views Algorithms» more  TACAS 2001»
15 years 7 months ago
Implementing a Multi-valued Symbolic Model Checker
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
Marsha Chechik, Benet Devereux, Steve M. Easterbro...