10669 search results - page 1755 / 2134 » Software - Implemented Self-healing System |
203
click to vote
ASP
2005
Springer
16 years 10 days ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
189
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
164
click to vote
CC
2005
Springer
16 years 10 days ago
2005
Springer
Modern processors’ multimedia extensions (MME) provide SIMD ISAs to boost the performance of typical operations in multimedia applications. However, automatic vectorization suppo...
163
click to vote
CC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
161
click to vote
CC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...