Sciweavers

3919 search results - page 640 / 784
» Modelling Dynamic Forgetting in Distributed Information Syst...
Sort
View
ATAL
2010
Springer
15 years 3 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
117
Voted
IJNSEC
2008
150views more  IJNSEC 2008»
15 years 2 months ago
Tamper Resistant Software Through Intent Protection
One approach to protect distributed systems implemented with mobile code is through program obfuscation. Disguising program intent is a form of information hiding that facilitates...
Alec Yasinsac, J. Todd McDonald
126
Voted
ECAL
2007
Springer
15 years 6 months ago
Genotype Reuse More Important than Genotype Size in Evolvability of Embodied Neural Networks
odel of Embodiment on Abstract Systems: from Hierarchy to Heterarchy Kohei Nakajima, Soya Shinkai, Takashi Ikegami A Behavior-Based Model of the Hydra, Phylum Cnidaria Malin Aktius...
Chad W. Seys, Randall D. Beer
109
Voted
HICSS
2006
IEEE
188views Biometrics» more  HICSS 2006»
15 years 8 months ago
Scalable Online Discussions as Listening Technology
This paper presents a novel online discussion environment that efficiently supports listening processes inspired by more collaborative management practices. This participative man...
Baldo Faieta, Bernardo A. Huberman, Paul Verhaeghe
104
Voted
IROS
2006
IEEE
168views Robotics» more  IROS 2006»
15 years 8 months ago
Scanning the Environment with Two Independent Cameras - Biologically Motivated Approach
— In this paper we present a novel method for visual scanning and target tracking by means of independent pan-tilt cameras which mimic the chameleon visual system. We present a s...
Ofir Avni, Francesco Borrelli, Gadi Katzir, Ehud R...