3338 search results - page 346 / 668 » Assigning Papers to Referees |
194
click to vote
CSL
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
187
click to vote
EMMCVPR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper presents a Bayesian inference algorithm for image layer representation [26], 2.1D sketch [6], with mixed Markov random field. 2.1D sketch is an very important...
174
click to vote
ESA
2007
Springer
16 years 26 days ago
2007
Springer
We investigate Knuth’s eleventh open question on stable matchings. In the stable family problem, sets of women, men, and dogs are given, all of whom state their preferences among...
175
click to vote
LCTRTS
2007
Springer
16 years 25 days ago
2007
Springer
Energy efficiency is an important factor in embedded systems design. We consider an embedded system with a dynamic voltage scaling (DVS) capable processor and its system-wide pow...
172
click to vote
FOCS
2006
IEEE
16 years 22 days ago
2006
IEEE
The “analyst’s traveling salesman theorem” of geometric measure theory characterizes those subsets of Euclidean space that are contained in curves of finite length. This re...