Sciweavers

1532 search results - page 182 / 307
» The Symbol Grounding Problem
Sort
View
AAAI
2008
15 years 6 months ago
Achieving Far Transfer in an Integrated Cognitive Architecture
Transfer is the ability to employ knowledge acquired in one task to improve performance in another. We study transfer in the context of the ICARUS cognitive architecture, which su...
Dan Shapiro, Tolga Könik, Paul O'Rorke
NSDI
2007
15 years 6 months ago
Friday: Global Comprehension for Distributed Replay
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...
Dennis Geels, Gautam Altekar, Petros Maniatis, Tim...
ATAL
2008
Springer
15 years 6 months ago
Towards verifying compliance in agent-based web service compositions
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
Alessio Lomuscio, Hongyang Qu, Monika Solanki
CEC
2005
IEEE
15 years 6 months ago
Graph composition in a graph grammar-based method for automata network evolution
The dynamics of neural and other automata networks are defined to a large extent by their topologies. Artificial evolution constitutes a practical means by which an optimal topolog...
Martin H. Luerssen, David M. W. Powers
CONCUR
2005
Springer
15 years 6 months ago
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
Pedro R. D'Argenio, Biniam Gebremichael