Sciweavers

722 search results - page 126 / 145
» The State Operator in Real Time Process Algebra
Sort
View
JMLR
2002
125views more  JMLR 2002»
14 years 11 months ago
Lyapunov Design for Safe Reinforcement Learning
Lyapunov design methods are used widely in control engineering to design controllers that achieve qualitative objectives, such as stabilizing a system or maintaining a system'...
Theodore J. Perkins, Andrew G. Barto
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
14 years 9 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
TEC
2010
143views more  TEC 2010»
14 years 6 months ago
Active Categorical Perception of Object Shapes in a Simulated Anthropomorphic Robotic Arm
Active perception refers to a theoretical approach to the study of perception grounded on the idea that perceiving is a way of acting, rather than a process whereby the brain const...
Elio Tuci, Gianluca Massera, Stefano Nolfi
USS
2008
15 years 2 months ago
Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards
Optical scan electronic voting machines employ software components that are customized for each specific election. Such software components are critical from a security and integr...
Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, La...
GIS
2006
ACM
16 years 23 days ago
Representation of periodic moving objects in databases
In the real world, lots of objects with changing position can be found. Some of them repeat the same movement several times, called periodic movements. Examples include airplanes,...
Ralf Hartmut Güting, Thomas Behr, Victor Teix...