4770 search results - page 301 / 954 » Flexible Type Analysis |
181
click to vote
DIAL
2006
IEEE
15 years 11 months ago
2006
IEEE
Statistical classification methods can be applied on images of historical manuscript in order to characterize the various kinds of inks used. As these methods do not require destr...
204
click to vote
CIC
2004
15 years 8 months ago
2004
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...
187
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
198
click to vote
ICC
2009
IEEE
16 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...
157
click to vote
FOSSACS
2003
Springer
16 years 19 days ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...