Sciweavers

571 search results - page 5 / 115
» Context Proceduralization in Decision Making
Sort
View
ASIAMS
2008
IEEE
14 years 11 months ago
Modeling Group Decision-Making for Collaborative Teams in Enterprises
Multicriteria analysis can be incorporated as a method to model preferences and facilitate decision making within a group of decision makers. In this paper we present a Group Deci...
George Rigopoulos, Nikolaos V. Karadimas, Alessand...
79
Voted
SIGMETRICS
2010
ACM
144views Hardware» more  SIGMETRICS 2010»
14 years 8 months ago
The sustainability hub: an information management tool for analysis and decision making
Sustainability is becoming an increasingly important driver for which decision makers – consumers, corporate and government – rely on principled, accurate and provenanced metr...
Steve Cayzer, Chris Preist
BIRTHDAY
2005
Springer
15 years 3 months ago
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
Alessandro Armando, Claudio Castellini, Enrico Giu...
FMCAD
2009
Springer
15 years 1 months ago
Generalized, efficient array decision procedures
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
130
Voted
WAPCV
2007
Springer
15 years 3 months ago
Reinforcement Learning for Decision Making in Sequential Visual Attention
The innovation of this work is the provision of a system that learns visual encodings of attention patterns and that enables sequential attention for object detection in real world...
Lucas Paletta, Gerald Fritz