Sciweavers

2203 search results - page 185 / 441
» Temporal Abstract Interpretation
Sort
View
ECRTS
2010
IEEE
15 years 5 months ago
The Multiprocessor Bandwidth Inheritance Protocol
Abstract--In this paper, the Multiprocessor Bandwidth Inheritance (M-BWI) protocol is presented, which constitutes an extension of the Bandwidth Inheritance (BWI) protocol to symme...
Dario Faggioli, Giuseppe Lipari, Tommaso Cucinotta
ICIAP
2009
ACM
15 years 1 months ago
Video Event Classification Using Bag of Words and String Kernels
Abstract. The recognition of events in videos is a relevant and challenging task of automatic semantic video analysis. At present one of the most successful frameworks, used for ob...
Lamberto Ballan, Marco Bertini, Alberto Del Bimbo,...
ICDAR
1997
IEEE
15 years 8 months ago
The Function of Documents
The purpose of a document is to facilitate the transfer of information from its author to its readers. It is the author’s job to design the document so that the information it c...
David S. Doermann, Azriel Rosenfeld, Ehud Rivlin
ECCV
1990
Springer
16 years 5 months ago
Finding Geometric and Relational Structures in an Image
Abstract We present a method for extracting geometric and relational structures from raw intensity data. On one hand, low-level image processing extracts isolated features. On the ...
Radu Horaud, Francoise Veillon, Thomas Skordas
RP
2009
Springer
136views Control Systems» more  RP 2009»
15 years 10 months ago
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Gu...