3844 search results - page 660 / 769 » Modular interpreted systems |
165
click to vote
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
This paper deals with the computation of optical flow and occlusion detection in the case of large displacements. We propose a Bayesian approach to the optical flow problem and s...
158
click to vote
HUC
2004
Springer
15 years 11 months ago
2004
Springer
Although various interaction technologies for handling information in the ubiquitous computing environment have been proposed, some techniques are too simple for performing rich in...
161
click to vote
LCPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
192
click to vote
RTA
2004
Springer
15 years 11 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
CHI
2010
ACM
15 years 11 months ago
2010
ACM
The indexicality of language refers to the linkage between the language and the situation of use for determining the meaning of what is being said. In this paper I describe how a ...