5378 search results - page 875 / 1076 » Base Logics in Argumentation |
ISCAS
2005
IEEE
14 years 3 months ago
2005
IEEE
— Simulated Evolution (SimE) is a sound stochastic approximation algorithm based on the principles of adaptation. If properly engineered it is possible for SimE to reach nearopti...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
STEP
2005
IEEE
14 years 3 months ago
2005
IEEE
The decomposition of design patterns into simpler elements may reduce significantly the creation of variants in forward engineering, while it increases the possibility of identify...
ICN
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we propose an architecture to regulate the bandwidth usage of multimedia streams in networked virtual environments. In this architecture, intelligent proxies are pla...
PPDP
2005
Springer
14 years 3 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...