3238 search results - page 80 / 648 » Multi-return function call |
ISIPTA
1999
IEEE
15 years 2 months ago
1999
IEEE
I introduce and study a fairly general imprecise secondorder uncertainty model, in terms of lower desirability. A modeller's lower desirability for a gamble is defined as her...
CGI
1997
IEEE
15 years 2 months ago
1997
IEEE
The recent developments in image-based rendering have enabled a representation of virtual environments based on a simulation of panoramas, which we call virtual panoramas. Current...
103
click to vote
ACL2
2006
ACM
15 years 1 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Many interesting problems in computer vision can be formulated as a minimization problem for an energy functional. If this functional is given as an integral of a scalar-...
PERCOM
2003
ACM
15 years 9 months ago
2003
ACM
The proliferation of wireless networks, hand-held PCs, touch panels, large flat displays, sensors, and embedded devices is transforming traditional habitats and living spaces into...