148 search results - page 22 / 30 » Specializing continuations a model for dynamic join points |
ICARIS
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents a novel immune inspired algorithm, named DERA (Dynamic Effector Regulatory Algorithm), aimed at fault detection and other anomaly detection problems. It integr...
CPAIOR
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Constraint programming based column generation is a hybrid optimization framework recently proposed that uses constraint programming (CP) to solve column generation subpr...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
A novel method is proposed for matching articulated objects in cluttered videos. The method needs only a single exemplar image of the target object. Instead of using a small set o...
TCOM
2010
13 years 2 months ago
2010
Abstract--The optimization of the pilot overhead in singleuser wireless fading channels is investigated, and the dependence of this overhead on various system parameters of interes...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...