5169 search results - page 448 / 1034 » Locality approximation using time |
209
click to vote
CHARME
2001
Springer
16 years 4 days ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
197
click to vote
ICMAS
1998
15 years 9 months ago
1998
abstract, form of this problem, we use a mathematical analysis to show that three different messaging protocols result in varying message loads, depending on certain parameters suc...
181
click to vote
CSDA
2006
15 years 7 months ago
2006
Models for incomplete longitudinal data under missingness not at random have gained some popularity. At the same time, cautionary remarks have been issued regarding their sensitiv...
173
click to vote
COMPUTING
2004
15 years 7 months ago
2004
We present a biorthogonal wavelet construction for Loop subdivision, based on the lifting scheme. Our wavelet transform uses scaling functions that are recursively defined by Loop...
212
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Image anchor templates are used in document image analysis for document classification, data localization, and other tasks. Current tools allow human operators to mark out small s...