2142 search results - page 235 / 429 » Representing Time in Multimedia Systems |
199
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
138
click to vote
COR
2010
15 years 6 months ago
2010
We consider systems of tandem blocking queues having a common retrial queue. The model represents dynamics of short TCP transfers in the Internet. Analytical results are available...
157
click to vote
ICCS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Hierarchical (H)-matrices approximate full or sparse matrices using a hierarchical data sparse format. The corresponding H-matrix arithmetic reduces the time complexity o...
173
click to vote
CIMCA
2005
IEEE
16 years 6 days ago
2005
IEEE
— This paper describes an ontology-driven model, which integrates Bayesian Networks (BN) into the Ontology Web Language (OWL) to preserve the advantages of both. This model makes...
177
click to vote
DAGM
2001
Springer
15 years 11 months ago
2001
Springer
Novel similarity measures for object recognition and image matching are proposed, which are inherently robust against occlusion, clutter, and nonlinear illumination changes. They c...