19979 search results - page 129 / 3996 » Decision support systems |
219
click to vote
APN
2000
Springer
15 years 10 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...
161
click to vote
SERP
2003
15 years 8 months 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...
164
click to vote
ENTCS
2007
15 years 6 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...
176
click to vote
ICPR
2004
IEEE
16 years 8 months 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...
211
click to vote
PERCOM
2006
ACM
16 years 6 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...