1224 search results - page 64 / 245 » Theory decision by decomposition |
86
Voted
DSS
2007
15 years 19 days ago
2007
The use of positive and negative reasons in inference and decision aiding is a recurrent issue of investigation as far as the type of formal language to use within a DSS is concer...
69
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Our study examines the fit concept in the context of IS planning, a major research stream in the IS literature. Previous research reveals inconsistencies in the IS planning litera...
133
Voted
IWPEC
2010
Springer
14 years 10 months ago
2010
Springer
RANK AGGREGATION is important in many areas ranging from web search over databases to bioinformatics. The underlying decision problem KEMENY SCORE is NP-complete even in case of fo...
103
Voted
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
131
Voted
KBSE
1995
IEEE
15 years 4 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...