4370 search results - page 816 / 874 » Brain Organization and Computation |
168
click to vote
ISCA
2007
IEEE
16 years 18 days ago
2007
IEEE
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...
156
click to vote
MICRO
2007
IEEE
16 years 17 days ago
2007
IEEE
Aggressive technology scaling over the years has helped improve processor performance but has caused a reduction in processor reliability. Shrinking transistor sizes and lower sup...
182
click to vote
ATAL
2007
Springer
16 years 14 days ago
2007
Springer
To cope with large scale, agents are usually organized in a network such that an agent interacts only with its immediate neighbors in the network. Reinforcement learning technique...
167
click to vote
CCS
2007
ACM
16 years 14 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
180
click to vote
CSL
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...