Sciweavers

3274 search results - page 579 / 655
» Using Learning in a Control Agent
Sort
View
HICSS
2008
IEEE
172views Biometrics» more  HICSS 2008»
15 years 11 months ago
Semantic Web Services Monitoring: An OWL-S Based Approach
In this paper we describe mechanisms for execution monitoring of semantic web services, based on OWL-S. The use of semantic descriptions and ontologies is a valuable extension to ...
Roman Vaculín, Katia P. Sycara
CSFW
2007
IEEE
15 years 11 months ago
LTL Model Checking for Security Protocols
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
Alessandro Armando, Roberto Carbone, Luca Compagna
INFOCOM
2007
IEEE
15 years 11 months ago
Malicious Users in Unstructured Networks
—Unstructured networks (like ad-hoc or peer-to-peer networks) are networks without centralized control of their operation. Users make local decisions regarding whether to follow ...
George Theodorakopoulos, John S. Baras
ECAL
2007
Springer
15 years 11 months ago
New Models for Old Questions: Evolutionary Robotics and the 'A Not B' Error
Abstract. In psychology the ‘A not B’ error, whereby infants perseverate in reaching to the location where a toy was previously hidden after it has been moved to a new location...
Rachel Wood, Ezequiel A. Di Paolo
PADL
2007
Springer
15 years 11 months ago
BAD, a Declarative Logic-Based Language for Brain Modeling
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
Alan H. Bond