3719 search results - page 664 / 744 » order 2010 |
120
Voted
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
120
click to vote
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
Coarse Grain Reconfigurable Architectures (CGRAs) promise high performance at high power efficiency. They fulfil this promise by keeping the hardware extremely simple, and movi...
187
Voted
WEA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...
153
Voted
ASM
2010
ASM
15 years 10 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
171
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Many learning tasks for computer vision problems can be described by multiple views or multiple features. These views can be exploited in order to learn from unlabeled data, a.k.a....