1818 search results - page 184 / 364 » Operant conditioning |
CAV
2010
Springer
14 years 1 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
WSC
2007
14 years 14 days ago
2007
In the last few years, the call center industry has considerably grown especially the outbound call center area, such as telemarketing. The productivity of the call centers has si...
ASPDAC
2005
ACM
14 years 3 days ago
2005
ACM
In order to handle device matching for analog circuits, some pairs of modules need to be placed symmetrically with respect to a common axis. In this paper, we deal with the module...
ECAI
2006
Springer
14 years 3 days ago
2006
Springer
This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in ker...
DBSEC
2010
13 years 11 months ago
2010
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...