Sciweavers

1818 search results - page 30 / 364
» Operant conditioning
Sort
View
CORR
2010
Springer
124views Education» more  CORR 2010»
13 years 6 months ago
Property Testing via Set-Theoretic Operations
: Given two testable properties P1 and P2, under what conditions are the union, intersection or set-difference of these two properties also testable? We initiate a systematic study...
Victor Chen, Madhu Sudan, Ning Xie
DATE
2006
IEEE
130views Hardware» more  DATE 2006»
14 years 2 months ago
Automatic run-time selection of power policies for operating systems
A significant volume of research has concentrated on operating-system directed power management (OSPM). The primary focus of previous research has been the development of OSPM po...
Nathaniel Pettis, Jason Ridenour, Yung-Hsiang Lu
META
1992
14 years 21 days ago
Transforming Normal Programs by Replacement
The replacement transformation operation, already defined in [28], is studied wrt normal programs. We give applicability conditions able to ensure the correctness of the operation ...
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
ISCI
2002
112views more  ISCI 2002»
13 years 8 months ago
Intelligent learning and control of autonomous robotic agents operating in unstructured environments
The control of autonomous intelligent robotic agent operating in unstructured changing environments includes many objective difficulties. One major difficulty concerns the charact...
Hani Hagras, Tarek M. Sobh
GECCO
2006
Springer
185views Optimization» more  GECCO 2006»
14 years 9 days ago
Convergence to global optima for genetic programming systems with dynamically scaled operators
This work shows asymptotic convergence to global optima for a family of dynamically scaled genetic programming systems where the underlying population consists of a fixed number o...
Lothar M. Schmitt, Stefan Droste