3130 search results - page 346 / 626 » Design Correctness of Digital Systems |
187
click to vote
FLAIRS
2009
15 years 4 months ago
2009
This paper introduces an information theoretic approach to verification of modular causal probabilistic models. We assume systems which are gradually extended by adding new functi...
208
click to vote
EPIA
2005
Springer
16 years 7 days ago
2005
Springer
We are interested in the challenging scientific pursuit of how to characterize human activities in any formal meeting situation by tracking people’s positions with a computer vi...
150
click to vote
DEBS
2003
ACM
15 years 12 months ago
2003
ACM
Publish/subscribe systems are successfully used to decouple distributed applications. However, their efficiency is closely tied to the topology of the underlying network, the desi...
155
Voted
FPGA
1997
ACM
15 years 11 months ago
1997
ACM
Event identification in photon counting ICCD detectors requires a high level image analysis which cannot be easily described algorithmically: neural networks are promising to appr...
187
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...