Sciweavers

1818 search results - page 114 / 364
» Operant conditioning
Sort
View
ZUM
2000
Springer
107views Formal Methods» more  ZUM 2000»
14 years 13 days ago
How to Drive a B Machine
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
Helen Treharne, Steve Schneider
EURODAC
1995
IEEE
182views VHDL» more  EURODAC 1995»
14 years 13 days ago
Delay modelling improvement for low voltage applications
Based on an explicit formulation of delays, an improved model for low voltage operation of CMOS inverter has been derived. Extrinsic and intrinsic effects, such as transistor curr...
Jean Michel Daga, Michel Robert, Daniel Auvergne
ICIA
2007
13 years 11 months ago
Intent Recognition for Human-Robot Interaction
Effective human-robot cooperation requires robotic devices that understand human goals and intentions. We frame the problem of intent recognition as one of tracking and predicting...
Andreas G. Hofmann, Brian C. Williams
USENIX
2008
13 years 11 months ago
Remote Profiling of Resource Constraints of Web Servers Using Mini-Flash Crowds
Unexpected surges in Web request traffic can exercise server-side resources (e.g., access bandwidth, processing, storage etc.) in undesirable ways. Administrators today do not hav...
Pratap Ramamurthy, Vyas Sekar, Aditya Akella, Bala...
ECLIPSE
2005
ACM
13 years 10 months ago
Navigating error recovery code in Java applications
Java provides a program-level exception handling mechanism in response to error conditions (that are translated into exceptions by Java VM). However, exception handling code is of...
Chen Fu, Barbara G. Ryder