677 search results - page 51 / 136 » Dependent Types from Counterexamples |
DIAGRAMS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper explores factors associated with effective external representation (ER) use. We describe an information-processing approach to the assessment of ER knowledge. ...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Abstract--Two types of noise-free relay cascades are investigated. Networks where a source communicates with a distant receiver via a cascade of half-duplex constrained relays, and...
WIOPT
2010
IEEE
14 years 8 months ago
2010
IEEE
In this work, we characterize the performance of pico cell networks in presence of moving users. We model various traffic types between base-stations and mobiles as different typ...
BMCBI
2006
14 years 9 months ago
2006
Background: The accuracy of protein secondary structure prediction has been improving steadily towards the 88% estimated theoretical limit. There are two types of prediction algor...
VIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Many techniques have been proposed to show uncertainty in data visualizations. However, very little is known about their effectiveness in conveying meaningful information. In this ...