5550 search results - page 300 / 1110 » Different Approaches to Proof Systems |
161
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
Many interesting large-scale systems are distributed systems of multiple communicating components. Such systems can be very hard to debug, especially when they exhibit poor perfor...
222
click to vote
EVENT
2001
15 years 8 months ago
2001
Automatically understanding human actions from video sequences is a very challenging problem. This involves the extraction of relevant visual information from a video sequence, re...
184
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper a visual approach to querying in large spatial databases is presented. A diagrammatic technique utilising a data flow metaphor is used to express different kinds of...
191
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
172
click to vote
EDCC
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...