835 search results - page 87 / 167 » Characterizing rosy theories |
108
click to vote
COMPGEOM
2005
ACM
15 years 1 months ago
2005
ACM
Using inclusion-exclusion, we can write the indicator function of a union of finitely many balls as an alternating sum of indicator functions of common intersections of balls. We...
102
click to vote
AAAI
2010
15 years 1 months ago
2010
We present the design and analysis of an approximately incentive-compatible combinatorial auction. In just a single run, the auction is able to extract enough value information fr...
92
Voted
IPCO
2010
15 years 1 months ago
2010
This paper contributes to the theory of cutting planes for mixed integer linear programs (MILPs). Minimal valid inequalities are well understood for a relaxation of an MILP in tab...
112
click to vote
WSPI
2008
15 years 1 months ago
2008
This work draws on the cultural historical activity-theory and the theory of social systems to model socio-technical systems. The concepts of practice, system, and context work as ...
APVIS
2003
15 years 1 months ago
2003
© We present a taxonomy for Information Visualization (IV) that characterizes it in terms of data, task, skill and context, as well as a number of dimensions that relate to the in...