4894 search results - page 828 / 979 » Dynamic Abstraction Planning |
160
click to vote
ESA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We develop a simple combinatorial algorithm for computing the smallest enclosing ball of a set of points in high dimensional Euclidean space. The resulting code is in mos...
153
click to vote
ESAW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Design patterns already proved successful in lowering the development time and number of errors of object-oriented software; now, they are, candidate to play a similar ro...
148
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
174
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In developing algorithms that dynamically changes the structure and weights of ANN (Artificial Neural Networks), there must be a proper balance between network complexit...
158
click to vote
GPC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. A Service-Level Agreement (SLA) provides surety for specific quality attributes to the consumers of services. However, the current SLAs offered by cloud providers do no...