3909 search results - page 659 / 782 » Extreme Model Checking |
113
Voted
DAGSTUHL
2004
15 years 4 months ago
2004
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
126
Voted
SAFECOMP
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
144
click to vote
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper, we consider the problem of super-resolving a human face video by a very high (?16) zoom factor. Inspired by recent literature on hallucination and examplebased lear...
83
Voted
ECCV
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. This paper presents an algorithm for tracking individual targets in high density crowd scenes containing hundreds of people. Tracking in such a scene is extremely challen...
130
Voted
PODC
2009
ACM
16 years 3 months ago
2009
ACM
Global consistency or Byzantine Agreement (BA) and reliable point-to-point communication are two of the most important and well-studied problems in distributed computing. Informal...