4770 search results - page 94 / 954 » Flexible Type Analysis |
133
click to vote
VISSYM
2007
15 years 6 months ago
2007
With the ubiquity of typed text, the style and much of the personality of handwriting has been lost from general communication. To counter this we introduce an artistic real-time ...
146
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
134
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
132
click to vote
SIGIR
2005
ACM
15 years 9 months ago
2005
ACM
We present a metadata free system for the interaction with massive collections of music, the MusicSurfer. MusicSurfer automatically extracts descriptions related to instrumentatio...
142
click to vote
TCSV
2002
15 years 3 months ago
2002
This paper discusses the problem of reduced-resolution transcoding of compressed video bitstreams. An analysis of drift errors is provided to identify the sources of quality degra...