Sciweavers

1522 search results - page 72 / 305
» Practical Exception Specifications
Sort
View
JOCN
2011
65views more  JOCN 2011»
14 years 8 months ago
Right Hemisphere Dominance in Visual Statistical Learning
■ Several studies report a right hemisphere advantage for visuospatial integration and a left hemisphere advantage for inferring conceptual knowledge from patterns of covariatio...
Matthew E. Roser, József Fiser, Richard N. ...
SLOGICA
2011
14 years 8 months ago
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...
Ofer Arieli, Arnon Avron, Anna Zamansky
SIAMNUM
2010
123views more  SIAMNUM 2010»
14 years 8 months ago
Critical Analysis of the Spanning Tree Techniques
Two algorithms based upon a tree-cotree decomposition, called in this paper spanning tree technique (STT) and generalized spanning tree technique (GSTT), have been shown to be usef...
Pawel Dlotko, Ruben Specogna
PAM
2012
Springer
13 years 9 months ago
A Longitudinal Characterization of Local and Global BitTorrent Workload Dynamics
Abstract. Workload characterization is important for understanding how systems and services are used in practice and to help identify design improvements. To better understand the ...
Niklas Carlsson, György Dán, Anirban M...
ICSE
2012
IEEE-ACM
13 years 4 months ago
Synthesizing API usage examples
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
Raymond P. L. Buse, Westley Weimer