849 search results - page 29 / 170 » Completely Non-malleable Schemes |
POPL
2009
ACM
14 years 12 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
ISMM
2009
Springer
14 years 5 months ago
2009
Springer
In order to describe anisotropy in image processing models or physical measurements, matrix fields are a suitable choice. In diffusion tensor magnetic resonance imaging (DT-MRI),...
ICNP
2002
IEEE
14 years 4 months ago
2002
IEEE
— This paper describes a novel, ultra-fast heuristic algorithm to address an NP-hard optimization problem. One of its significances is that, for the first time, the paper shows...
LREC
2008
14 years 19 days ago
2008
Data models and encoding formats for syntactically annotated text corpora need to deal with syntactic ambiguity; underspecified representations are particularly well suited for th...
VCIP
2000
14 years 16 days ago
2000
An alternative method to H.263 for encoding of moving images at bit rates below 64 kbit/s is presented using adaptive spatial subsampling, mesh based interpolation and node tracki...