1224 search results - page 124 / 245 » Theory decision by decomposition |
93
Voted
CEEMAS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...
75
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Once the decision to outsource an activity has been made, managers are faced with issues related to the management of the relationship with their service providers. A critical ele...
104
click to vote
CAV
2003
Springer
15 years 6 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
76
Voted
SIGECOM
2010
ACM
15 years 5 months ago
2010
ACM
We report on a series of highly controlled human subject experiments in networked bargaining. The basic interaction between two players is the decision of how to share a mutual pa...
145
Voted
COLT
2001
Springer
15 years 5 months ago
2001
Springer
We prove strong noise-tolerance properties of a potential-based boosting algorithm, similar to MadaBoost (Domingo and Watanabe, 2000) and SmoothBoost (Servedio, 2003). Our analysi...