9719 search results - page 397 / 1944 » Inference for Multiplicative Models |
130
Voted
IUI
2006
ACM
15 years 10 months ago
2006
ACM
Interface personalization can improve a user’s performance and subjective impression of interface quality and responsiveness. Personalization is difficult to implement as it req...
176
Voted
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper we propose a new framework for modeling 2D shapes. A shape is first described by a sequence of local features (e.g., curvature) of the shape boundary. The resulting ...
148
Voted
ASM
2008
ASM
15 years 6 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
223
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
131
Voted
PAMI
2002
15 years 4 months ago
2002
We introduce a methodology for radiometric reconstruction, the simultaneous recovery of multiple illuminants and surface albedoes from multiple views, assuming that the geometry o...