139 search results - page 22 / 28 » Constraint Prioritization for Efficient Analysis of Declarat... |
74
Voted
EUROPAR
2008
Springer
15 years 1 months ago
2008
Springer
Performance of distributed applications largely depends on the mapping of their components on the underlying architecture. On one mponent-based approaches provide an abstraction su...
WSC
2004
15 years 1 months ago
2004
From the perspective of flow analysis, the more complex the project, the more wastes are prone to build up, due to the increasing number of interfaces between activities. When pro...
FORTE
2004
15 years 1 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
76
Voted
CVPR
2004
IEEE
16 years 1 months ago
2004
IEEE
We present an unsupervised technique for detecting unusual activity in a large video set using many simple features. No complex activity models and no supervised feature selection...
91
Voted
AAAI
2010
15 years 1 months ago
2010
Multi-instance learning deals with problems that treat bags of instances as training examples. In single-instance learning problems, dimensionality reduction is an essential step ...