9425 search results - page 303 / 1885 » Some Notes on Models and Modelling |
118
click to vote
DCC
2010
IEEE
15 years 9 months ago
2010
IEEE
Quantization plays a central role in data compression. In speech systems, vector quantizers are used to compress speech parameters. In video systems, scalar quantizers are used to...
141
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
123
click to vote
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
We propose a region-based method for model-free object tracking. In our method the object information of temporal motion and spatial luminance are fully utilized. We first compute...
133
click to vote
CHARME
2001
Springer
15 years 8 months 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...
134
click to vote
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
: Run-time executives and operating system kernels for embedded systems have long relied exclusively on static priority scheduling of tasks to ensure timing constraints and other c...