8928 search results - page 132 / 1786 » Modeling Current Events |
132
Voted
PTS
2003
15 years 4 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
127
click to vote
CSCW
2010
ACM
15 years 11 months ago
2010
ACM
Synchronous groupware depends on the assumption that people are fully connected to the others in the group, but there are many situations (network delay, network outage, or explic...
121
click to vote
ICCAD
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper, we propose an approach for the analysis of power supply noise in the frequency domain for power/ground (P/G) networks of tree topologies. We model the P/G network a...
138
click to vote
DAGSTUHL
1998
15 years 4 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
116
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper describes a framework for detecting unusual events in surveillance videos. Most surveillance systems consist of multiple video streams, but traditional event detection ...