27 search results - page 2 / 6 » A study on multimedia documents behavior: a notion of equiva... |
ICECCS
2000
IEEE
13 years 9 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
HYBRID
2004
Springer
13 years 10 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
AMR
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. To automatically retrieve documents or images from a database, retrieval systems use similarity measures to compare a request based on features extracted from the documen...
TREC
2007
13 years 6 months ago
2007
The Multimedia and Information Systems group at the Knowledge Media Institute of the Open University participated in the Expert Search and Document Search tasks of the Enterprise ...
CONCUR
2011
Springer
12 years 5 months ago
2011
Springer
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...