3273 search results - page 51 / 655 » types 2007 |
133
Voted
ICASSP
2007
IEEE
15 years 3 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
15 years 1 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...
100
click to vote
ESOP
2007
Springer
15 years 8 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...
117
click to vote
ECOOP
2007
Springer
15 years 8 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 ...
105
click to vote
ICFP
2007
ACM
16 years 1 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...