19979 search results - page 289 / 3996 » Decision support systems |
204
click to vote
APN
2008
Springer
15 years 9 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
185
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
We consider qualitative and quantitative verification problems for infinite-state Markov chains. We call a Markov chain decisive w.r.t. a given set of target states F if it almos...
261
click to vote
ICMLA
2009
16 years 4 months ago
2009
User authentication and intrusion detection differ from standard classification problems in that while we have data generated from legitimate users, impostor or intrusion data is s...
209
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The analysis of externalities in technology-based networks continues to be of significant managerial importance in e-commerce and traditional IS operations. Competitive strategy, ...
174
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
– In this paper, we describe a robot that interacts with humans in a crowded conference environment. The robot detects faces, determines the shirt color of onlooking conference a...