Sciweavers

362 search results - page 25 / 73
» Mechanizing and Improving Dependency Pairs
Sort
View
ICANN
2009
Springer
14 years 5 days ago
How Bursts Shape the STDP Curve in the Presence/Absence of GABAergic Inhibition
It has been known for some time that the synapses of the CA1 pyramidal cells are surprisingly unreliable at signalling the arrival of single spikes to the postsynaptic neuron [2]. ...
Vassilis Cutsuridis, Stuart Cobb, Bruce P. Graham
CSCW
2010
ACM
14 years 4 months ago
Pitfalls of information access with visualizations in remote collaborative analysis
In a world of widespread information access, information can overwhelm collaborators, even with visualizations to help. We extend prior work to study the effect of shared informat...
Aruna D. Balakrishnan, Susan R. Fussell, Sara B. K...
JSS
2006
99views more  JSS 2006»
13 years 7 months ago
Software architecture-based regression testing
When architecting dependable systems, in addition to improving system dependability by means of construction (fault-tolerant and redundant mechanisms, for instance), it is also im...
Henry Muccini, Marcio S. Dias, Debra J. Richardson
PERVASIVE
2006
Springer
13 years 7 months ago
Scalability in a Secure Distributed Proof System
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
Kazuhiro Minami, David Kotz
MICCAI
2010
Springer
13 years 6 months ago
Tracked Ultrasound Elastography (TrUE)
Abstract. This paper presents a robust framework for freehand ultrasound elastography to cope with uncertainties of freehand palpation using the information from an external tracke...
Pezhman Foroughi, Hassan Rivaz, Ioana Fleming, Gre...