Sciweavers

1087 search results - page 2 / 218
» The DecideIT Decision Tool
Sort
View
ICTAC
2009
Springer
13 years 4 months ago
GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
Hallstein Asheim Hansen, Gerardo Schneider
ENTCS
2002
103views more  ENTCS 2002»
13 years 6 months ago
Deciding low levels of tree-automata hierarchy
The paper discusses the hierarchy of indices of finite automata over infinite objects. This hierarchy corresponds exactly to the hierarchy of alternations of least and greatest fi...
Igor Walukiewicz
HICSS
2011
IEEE
208views Biometrics» more  HICSS 2011»
12 years 10 months ago
An Experimental Study of Financial Portfolio Selection with Visual Analytics for Decision Support
We investigate the decision process as applied to the practical task of choosing a financial portfolio. We developed PortfolioCompare, an interactive visual analytic decision sup...
Anya Savikhin, Hon Cheong Lam, Brian D. Fisher, Da...
HIS
2009
13 years 4 months ago
A Swarm-Based Rough Set Approach for Group Decision Support Systems
This paper present a class of investment problem, in which many items could be chosen in a group decision environment. Usually there is a decision table from the board of director...
Mingyan Zhao, Hongbo Liu, Ajith Abraham, Emilio Co...
JMLR
2010
104views more  JMLR 2010»
13 years 1 months ago
How to Explain Individual Classification Decisions
After building a classifier with modern tools of machine learning we typically have a black box at hand that is able to predict well for unseen data. Thus, we get an answer to the...
David Baehrens, Timon Schroeter, Stefan Harmeling,...