140 search results - page 18 / 28 » Extracting frame conditions from operation contracts |
POPL
2009
ACM
14 years 8 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
WOLLIC
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
The recent advances in Image Based Rendering (IBR) has pioneered a new technology, free-view television, in which TVviewers select freely the viewing position and angle by the app...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
— The aim of this paper is quality prediction for streaming MPEG4 video sequences over wireless networks for all video content types. Video content has an impact on video quality...
ICMCS
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper, we propose a novel scheme for automatic and fast detection of human faces in color images where the number, the location, the orientation and the size of the faces ...