2646 search results - page 90 / 530 » Local Type Inference |
121
Voted
ICMCS
1999
IEEE
15 years 6 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...
114
click to vote
SIGIR
2010
ACM
15 years 6 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...
NIPS
2007
15 years 3 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...
241
click to vote
POPL
2006
ACM
16 years 2 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 ...
202
click to vote
POPL
2003
ACM
16 years 2 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,...