1818 search results - page 330 / 364 » Operant conditioning |
101
Voted
HPCA
2005
IEEE
16 years 25 days ago
2005
IEEE
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...
83
Voted
CHI
2001
ACM
16 years 25 days ago
2001
ACM
Constraints and dependencies among the elements of embodied cognition form patterns or microstrategies of interactive behavior. Hard constraints determine which microstrategies ar...
200
Voted
POPL
2008
ACM
16 years 23 days ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
122
Voted
SIGMOD
2001
ACM
16 years 18 days ago
2001
ACM
Virtually all proposals for querying XML include a class of query we term "containment queries". It is also clear that in the foreseeable future, a substantial amount of...
127
click to vote
ICSE
2005
IEEE-ACM
16 years 17 days ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...