Sciweavers

1418 search results - page 82 / 284
» How to Explain Mistakes
Sort
View
ICFP
2001
ACM
14 years 9 months ago
Compositional Explanation of Types and Algorithmic Debugging of Type Errors
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
Olaf Chitil
ALT
2008
Springer
14 years 6 months ago
Visual Analytics: Combining Automated Discovery with Interactive Visualizations
In numerous application areas fast growing data sets develop with ever higher complexity and dynamics. A central challenge is to filter the substantial information and to communic...
Daniel A. Keim, Florian Mansmann, Daniela Oelke, H...
AUSAI
2009
Springer
14 years 4 months ago
Enhancing MML Clustering Using Context Data with Climate Applications
Abstract. In Minimum Message Length (MML) clustering (unsupervised classification, mixture modelling) the aim is to infer a set of classes that best explains the observed data ite...
Gerhard Visser, David L. Dowe, Petteri Uotila
INFOCOM
2008
IEEE
14 years 4 months ago
Modeling Resource Sharing Dynamics of VoIP Users over a WLAN Using a Game-Theoretic Approach
—We consider a scenario in which users share an access point and are mainly interested in VoIP applications. Each user is allowed to adapt to varying network conditions by choosi...
Edson H. Watanabe, Daniel S. Menasché, Edmu...
ICC
2007
IEEE
103views Communications» more  ICC 2007»
14 years 4 months ago
Channel Capacity Estimation of Digital Subscriber Lines: a Frequency Domain Approach
— In order to identify if a subscriber loop is suitable for a certain Digital Subscriber Line (DSL) service, the transfer function of the loop has to be estimated. Several measur...
Carine Neus, Patrick Boets, Leo Van Biesen