4485 search results - page 53 / 897 » Equivalences on Observable Processes |
SIVP
2010
13 years 7 months ago
2010
In various applications from radar processing to mobile communication systems based on CDMA for instance, M-AR multichannel processes are often considered and may be combined with...
FSTTCS
2010
Springer
13 years 6 months ago
2010
Springer
Bisimulation equivalence is decidable in polynomial time over normed graphs generated by a context-free grammar. We present a new algorithm, working in time O(n5 ), thus improving...
NIPS
2007
13 years 10 months ago
2007
In many applications, one has to actively select among a set of expensive observations before making an informed decision. Often, we want to select observations which perform well...
REFSQ
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The research presented in this paper investigates how observation of information- and communication-intensive work in hospital wards can be used to produce requirements f...
AVSS
2005
IEEE
14 years 2 months ago
2005
IEEE
The performance of computer vision systems for measurement, surveillance, reconstruction, gait recognition, and many other applications, depends heavily on the placement of camera...