1224 search results - page 166 / 245 » Theory decision by decomposition |
83
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
To what extent can social interactions augment people's natural search experiences? What factors influence the decision to turn to a friend for help? Our paper presents the p...
105
click to vote
MCS
2009
Springer
15 years 7 months ago
2009
Springer
Weighted averaging of classifier outputs is used in many MCSs, yet is still not well understood. Several empirical studies have investigated the effect that non-negativity and su...
103
Voted
ISMVL
2009
IEEE
15 years 7 months ago
2009
IEEE
For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today’s state-of-the-art SMT solvers use different techniques like ter...
ALDT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We propose various models for lobbying in a probabilistic environment, in which an actor (called “The Lobby”) seeks to influence the voters’ preferences of voting ...
108
click to vote
ALDT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The stable marriage problem has many practical applications in twosided markets like those that assign doctors to hospitals, students to schools, or buyers to vendors. Mo...