1757 search results - page 2 / 352 » Alternating Refinement Relations |
COMPOS
1997
Springer
13 years 9 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
BIBE
2009
IEEE
13 years 9 months ago
2009
IEEE
We present a novel gene finding and validation tool, called GeneScope, which is capable of finding and validating genes declaratively by autonomously integrating heterogeneous onl...
ICMCS
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a three-step post-processing method for increasing the precision of video shot labels in the domain of television news. First, we demonstrate that news shot sequences c...
QEST
2005
IEEE
13 years 11 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
ICDE
2000
IEEE
13 years 9 months ago
2000
IEEE
Increasing application demands are pushing database management systems (DBMSs) towards providing adequate and efficient support for content-based retrieval over multimedia objects...