4926 search results - page 546 / 986 » Two Graph Algorithms On an Associative Computing Model |
133
Voted
ICCAD
2010
IEEE
15 years 1 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
118
Voted
ACL
2012
13 years 5 months ago
2012
This paper presents a novel way of improving POS tagging on heterogeneous data. First, two separate models are trained (generalized and domain-specific) from the same data set by...
114
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
We consider the problem of calibrating a highly generic imaging model, that consists of a non-parametric association of a projection ray in 3D to every pixel in an image. Previous...
116
click to vote
SACMAT
2010
ACM
15 years 8 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
134
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We present a random field based model for stereo vision with explicit occlusion labeling in a probabilistic framework. The model employs non-parametric cost functions that can be ...