4320 search results - page 83 / 864 » Functional Objects |
122
click to vote
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
Much work has been done in the field of visual object tracking, yielding a wide range of trackers, including ones aimed for multiple objects. In many cases, there may be a couplin...
98
Voted
POPL
1994
ACM
15 years 4 months ago
1994
ACM
Modern computer architectures increasingly depend on mechanisms that estimate future control flow decisions to increase performance. Mechanisms such as speculative execution and p...
104
Voted
GI
2009
Springer
15 years 5 months ago
2009
Springer
: In ubiquitous environments computers and smart devices, especially the technical view on them, disappear and users are supported to concentrate on the tasks they actually intend ...
115
click to vote
FMOODS
2007
15 years 2 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
92
Voted
NIPS
2007
15 years 2 months ago
2007
In many applications, one has to actively select among a set of expensive observations before making an informed decision. Often, we want to select observations which perform well...