154 search results - page 24 / 31 » Comparison of Process Algebra Equivalences Using Formats |
EDBT
2008
ACM
15 years 9 months ago
2008
ACM
An active XML (AXML) document contains tags representing calls to Web services. Therefore, retrieving its contents consists in materializing its data elements by invoking the embe...
IANDC
2006
14 years 9 months ago
2006
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
NAR
2006
14 years 9 months ago
2006
The completion of the sequencing of the human genome and the concurrent, rapid development of high-throughput proteomic methods have resulted in an increasing need for automated a...
100
click to vote
ICIP
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper describes an approach for locating annotations generated in one video and properly placing them in a second, modified version of the same video. We focus on modificatio...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
The autofocus problem in synthetic aperture radar (SAR) is considered, where phase errors in the acquired signal data result in imagery that is improperly focused. We present a ne...