Sciweavers

2055 search results - page 259 / 411
» Generic Model Refactorings
Sort
View
CVPR
2009
IEEE
2358views Computer Vision» more  CVPR 2009»
16 years 9 months ago
Pictorial Structures Revisited: People Detection and Articulated Pose Estimation
Non-rigid object detection and articulated pose estimation are two related and challenging problems in computer vision. Numerous models have been proposed over the years and oft...
Mykhaylo Andriluka (TU Darmstadt), Stefan Roth (TU...
ICDE
1995
IEEE
99views Database» more  ICDE 1995»
16 years 3 months ago
Record Subtyping in Flexible Relations by Means of Attribute Dependencies
The model of flexible relations supports heterogeneous sets of tuples in a strongly typed way. The elegance of the standard relational model is preserved by using a single, generi...
Christian Kalus, Peter Dadam
AFRICACRYPT
2009
Springer
15 years 8 months ago
Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this t...
Manuel Barbosa, Pooya Farshim
TARK
2009
Springer
15 years 8 months ago
Program equilibria and discounted computation time
Tennenholtz (GEB 2004) developed Program Equilibrium to model play in a finite twoplayer game where each player can base their strategy on the other player’s strategies. Tennen...
Lance Fortnow
CSFW
2006
IEEE
15 years 8 months ago
Simulation-Based Security with Inexhaustible Interactive Turing Machines
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
Ralf Küsters