19979 search results - page 129 / 3996 » Decision support systems |
114
click to vote
APN
2000
Springer
15 years 2 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
SERP
2003
15 years 20 days ago
2003
In many cases, product families are established on top of a successful pilot product. While this approach provides an option to measure many concrete attributes like performance a...
ENTCS
2007
14 years 11 months ago
2007
MoR-Trust is a purely decentralized peer-to-peer trust management system, targeted towards networks and applications supporting transactions or collaborations of a quantitative na...
ICPR
2004
IEEE
16 years 12 days ago
2004
IEEE
For the tasks of classification, two types of patterns can generate problems: ambiguous patterns and outliers. Furthermore, it is possible to separate classification algorithms in...
105
click to vote
PERCOM
2006
ACM
15 years 11 months ago
2006
ACM
The proliferation of cell phones has led to an ever increasing number of inappropriate interruptions. SmartContacts provides a solution to this problem by empowering the caller to...