Sciweavers

2851 search results - page 445 / 571
» Operationalizing Conceptual Models Based on a Model of Depen...
Sort
View
MICRO
1997
IEEE
141views Hardware» more  MICRO 1997»
15 years 10 months ago
Unroll-and-Jam Using Uniformly Generated Sets
Modern architectural trends in instruction-level parallelism (ILP) are to increase the computational power of microprocessors significantly. As a result, the demands on memory ha...
Steve Carr, Yiping Guan
FM
2006
Springer
113views Formal Methods» more  FM 2006»
15 years 9 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
ECIR
2010
Springer
15 years 7 months ago
Using the Quantum Probability Ranking Principle to Rank Interdependent Documents
A known limitation of the Probability Ranking Principle (PRP) is that it does not cater for dependence between documents. Recently, the Quantum Probability Ranking Principle (QPRP)...
Guido Zuccon, Leif Azzopardi
NIPS
2008
15 years 7 months ago
On Computational Power and the Order-Chaos Phase Transition in Reservoir Computing
Randomly connected recurrent neural circuits have proven to be very powerful models for online computations when a trained memoryless readout function is appended. Such Reservoir ...
Benjamin Schrauwen, Lars Buesing, Robert A. Legens...
NN
2006
Springer
141views Neural Networks» more  NN 2006»
15 years 6 months ago
Encoding uncertainty in the hippocampus
The medial temporal lobe may play a critical role in binding successive events into memory while encoding contextual information in implicit and explicit memory tasks. Information...
Lee M. Harrison, Andrew Duggins, Karl J. Friston