9412 search results - page 359 / 1883 » An aspect-oriented generative approach |
178
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
150
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— We consider the problem of planning collisionfree motions for general (i.e., possibly nonholonomic) redundant robots subject to task space constraints. Previous approac...
181
click to vote
EVOW
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper presents a novel hybrid approach for solving the Container Loading (CL) problem based on the combination of Integer Linear Programming (ILP) and Genetic Algori...
184
click to vote
DATE
2005
IEEE
16 years 12 days ago
2005
IEEE
In this paper, we present a methodology for customized communication architecture synthesis that matches the communication requirements of the target application. This is an impor...
165
click to vote
EEE
2005
IEEE
16 years 12 days ago
2005
IEEE
E-commerce web sites that sell highly customized products tend to be very complex in terms of the underlying logical model of the customization process. We present a systematic ap...