4426 search results - page 703 / 886 » Concurrent Constraint Programming |
164
click to vote
RV
2010
Springer
15 years 3 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
178
click to vote
LCTRTS
2010
Springer
15 years 2 months ago
2010
Springer
Chip multiprocessors (CMPs) are expected to be the building blocks for future computer systems. While architecting these emerging CMPs is a challenging problem on its own, program...
188
click to vote
CVPR
2009
IEEE
17 years 3 days ago
2009
IEEE
Feature selection plays a fundamental role in many pattern
recognition problems. However, most efforts have been
focused on the supervised scenario, while unsupervised feature
s...
146
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. This article presents a novel method for acquiring high-quality solid models of complex 3D shapes from multiple calibrated photographs. After the purely geometric constra...
142
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
In this paper, we introduce a generic framework for semi-supervised kernel learning. Given pairwise (dis-)similarity constraints, we learn a kernel matrix over the data that respe...