220 search results - page 22 / 44 » Time, tense, truth |
110
click to vote
FORMATS
2010
Springer
14 years 12 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
115
click to vote
WEBI
2010
Springer
14 years 11 months ago
2010
Springer
Ranking microblogs, such as tweets, as search results for a query is challenging, among other things because of the sheer amount of microblogs that are being generated in real time...
115
click to vote
JUCS
2011
14 years 9 months ago
2011
: An OCR free word spotting method is developed and evaluated under a strong experimental protocol. Different feature sets are evaluated under the same experimental conditions. In ...
128
click to vote
IOR
2011
14 years 5 months ago
2011
Consider selling bundles of indivisible goods to buyers with concave utilities that are additively separable in money and goods. We propose an ascending auction for the case when ...
163
Voted
SIGECOM
2011
ACM
14 years 4 months ago
2011
ACM
In this paper, we study the class of competitive equilibria in two sided matching markets with general (non-quasilinear) utility functions. Mechanism design in general non-quasili...