2646 search results - page 90 / 530 » Local Type Inference |
162
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a semi-automatic image-based modeling system to make 3-D models from photographs. The human operator intervenes only for simple and straightforward tasks. The design of...
158
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we present a folksonomy-based approach for implicit user intent extraction during a Web search process. We present a number of result re-ranking techniques based on...
124
click to vote
NIPS
2007
15 years 7 months ago
2007
Diffusion processes are a family of continuous-time continuous-state stochastic processes that are in general only partially observed. The joint estimation of the forcing paramete...
294
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
251
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...