500 search results - page 19 / 100 » Coalgebraic semantics for timed processes |
JCDL
2010
ACM
14 years 2 months ago
2010
ACM
Digitizing legacy documents and marking them up with XML is important for many scientific domains. However, creating comprehensive semantic markup of high quality is challenging. ...
BXML
2003
13 years 11 months ago
2003
: The Web service architecture promises to be highly dynamic. The idea is that a service requester can discover a needed service at runtime. Due to the fact that this discovery pro...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In this paper, we propose a novel video similarity measure model using video time density function (VTDF) and dynamic programming. First, we employ VTDF to describe the density of...
FSTTCS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
ICASSP
2010
IEEE
13 years 10 months ago
2010
IEEE
Detecting the time of occurrence of an acoustic event (for instance, a cheer) embedded in a longer soundtrack is useful and important for applications such as search and retrieval...