4209 search results - page 413 / 842 » Abstract Dialectical Frameworks |
159
click to vote
CP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract Competition and cooperation can boost the performance of a combinatorial search process. Both can be implemented with a portfolio of algorithms which run in parallel, give...
176
click to vote
EGC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The paper presents proposed Security Architecture for Open Collaborative Environment (OCE) being developed in the framework of the Collaboratory.nl (CNL) project with the...
222
click to vote
EPIA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
160
click to vote
FOSSACS
2005
Springer
16 years 9 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
159
click to vote
HPCC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Numerical simulations can be the key to the thorough understanding of the multi-dimensional nature of transient detonation waves. But the accurate approximation of realis...