2661 search results - page 318 / 533 » Model Checking Performability Properties |
103
Voted
WSC
1998
15 years 2 months ago
1998
ating Structures is a system abstraction that helps to model large-scale distributed systems, whose performance mostly depends on how well the data and messages traffic is organiz...
71
Voted
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents a new approach to discriminative modeling for classi cation and labeling. Our method, called Boosting on Multilevel Aggregates (BMA), adds a new class of hiera...
113
click to vote
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
Given a set of 3D model features and their 2D image, model based object recognition determines the correspondences between those features and hence computes the pose of the object...
84
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
107
Voted
NIPS
1994
15 years 2 months ago
1994
Experiments were performed to reveal some of the computational properties of the human motor memory system. We show that as humans practice reaching movements while interacting wi...