3273 search results - page 51 / 655 » types 2007 |
106
click to vote
ICASSP
2007
IEEE
15 years 1 months ago
2007
IEEE
Despite a lot of research efforts in sports video processing, little work was done in volleyball video analysis due to the high density of players on the court and the complicated...
ENTCS
2007
14 years 11 months ago
2007
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...