3995 search results - page 401 / 799 » Linearization of hybrid processes |
183
click to vote
FAC
2010
15 years 5 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
199
click to vote
SIGPRO
2010
15 years 5 months ago
2010
In this paper, an anisotropic total variation (ATV) minimization is combined with the new adaptive tetrolet transform for discontinuity-preserving image processing. In order to su...
192
click to vote
TSD
2010
Springer
15 years 5 months ago
2010
Springer
The vocabulary used in speech usually consists of two types of words: a limited set of common words, shared across multiple documents, and a virtually unlimited set of rare words, ...
174
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
One of the most severe problems in hybrid video coding is its block-based approach, which leads to distortions called blocking artifacts. These artifacts affect not only the subje...
191
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Many well-known existing image matching methods are based on local texture analysis, and consequently have difficulty handling low-textured 3D objects, such as those man-made buil...