Sciweavers

3394 search results - page 163 / 679
» A Modal Model of Memory
Sort
View
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 5 months ago
Logic for Computational Effects: Work in Progress
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
Gordon D. Plotkin, John Power
ESANN
1998
15 years 5 months ago
A neural approach to a sensor fusion problem
Our problem concerns the joint interpretation of UltraSonic and InfraRed measurements provided by a composite proximity sensor, in order to extract geometrical and morphological f...
Valentina Colla, Mirko Sgarbi, Leonardo Maria Reyn...
119
Voted
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 4 months ago
The complexity of linear-time temporal logic over the class of ordinals
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theore...
Stéphane Demri, Alexander Rabinovich
119
Voted
DATE
2009
IEEE
146views Hardware» more  DATE 2009»
15 years 10 months ago
System-level power/performance evaluation of 3D stacked DRAMs for mobile applications
Abstract—Convergence of communication, consumer applications and computing within mobile systems pushes memory requirements both in terms of size, bandwidth and power consumption...
Marco Facchini, Trevor Carlson, Anselme Vignon, Ma...
NIPS
2007
15 years 5 months ago
Retrieved context and the discovery of semantic structure
Semantic memory refers to our knowledge of facts and relationships between concepts. A successful semantic memory depends on inferring relationships between items that are not exp...
Vinayak Rao, Marc Howard