3468 search results - page 452 / 694 » An open logical framework |
133
click to vote
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
137
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We present a general framework to model strategic aspects and stable and fair resource allocations in networks via variants and generalizations of path coalitional games. In these ...
129
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
The National Institute of Standards and Technology (NIST) has efforts underway to accelerate the international development of interoperability standards to support the future mode...
166
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
In this paper, we address the task of tracking groups of people in surveillance scenarios. This is a major challenge in computer vision, since groups are structured entities, subj...
184
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
In this paper we propose a novel Conditional Random Field (CRF) formulation for the semantic scene labeling problem which is able to enforce temporal consistency between consecuti...