3825 search results - page 244 / 765 » More on pooling spaces |
158
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Service dependency management in serviceoriented component platforms is described with languages, which cannot be easily adapted to domain-specific requirements. This p...
149
click to vote
ESA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We evaluate the performance of FPT algorithms for the directed feedback vertex set problem (DFVS). We propose several new data reduction rules for DFVS. which can signi...
148
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, three new methods for pushing solutions toward a desired region of the objective space more quickly are explored; hypercube distance scaling, dynamic objective t...
158
click to vote
LPAR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
168
click to vote
SPIN
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We present Beem — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their corr...