An experimental comparison of cross-validation techniques for estimating the area under the ROC curve Fulltext Access 17 Pages 2011
Modelling gateway placement in wireless networks: Geometric k-centres of unit disc graphs Fulltext Access 17 Pages 2011
The ββ-Birnbaum–Saunders distribution: An improved distribution for fatigue life modeling Fulltext Access 17 Pages 2011
Modified versions of the Bayesian Information Criterion for sparse Generalized Linear Models Fulltext Access 17 Pages 2011
Smooth semiparametric and nonparametric Bayesian estimation of bivariate densities from bivariate histogram data Fulltext Access 17 Pages 2011
Simplifying maximum flow computations: The effect of shrinking and good initial flows Fulltext Access 17 Pages 2011
Distributed computation of virtual coordinates for greedy routing in sensor networks Fulltext Access 17 Pages 2011
Automatic generation of probabilistic relationships for improving schema matching Fulltext Access 17 Pages 2011
Set systems: Order types, continuous nondeterministic deformations, and quasi-orders Fulltext Access 17 Pages 2011
Human and automatic modularizations of process models to enhance their comprehension Fulltext Access 17 Pages 2011
A hybrid approach for estimating document frequencies in unstructured P2P networks Fulltext Access 17 Pages 2011
3XL: Supporting efficient operations on very large OWL Lite triple-stores Fulltext Access 17 Pages 2011
Environment-conscious scheduling of HPC applications on distributed Cloud-oriented data centers Fulltext Access 18 Pages 2011
Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving Fulltext Access 18 Pages 2011
Adaps – A three-phase adaptive prediction system for the run-time of jobs based on user behaviour Fulltext Access 18 Pages 2011
Leveraging workload diversity through OS scheduling to maximize performance on single-ISA heterogeneous multicore systems Fulltext Access 18 Pages 2011
A computational proof of complexity of some restricted counting problems Fulltext Access 18 Pages 2011
Positive expansiveness versus network dimension in symbolic dynamical systems Fulltext Access 18 Pages 2011
A mechanical verification of the stressing algorithm for negative cost cycle detection in networks Fulltext Access 18 Pages 2011
On the complexity of searching in trees and partially ordered structures Fulltext Access 18 Pages 2011
Mechanism-based emulation of dynamic simulation models: Concept and application in hydrology Fulltext Access 18 Pages 2011
Incompleteness and incomparability in preference aggregation: Complexity results Fulltext Access 18 Pages 2011
A unified multimedia and semantic perspective for data retrieval in the semantic web Fulltext Access 18 Pages 2011
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible Fulltext Access 18 Pages 2011
Bayesian inference for an item response model for modeling test anxiety Fulltext Access 18 Pages 2011
Relations for moments of progressively Type-II censored order statistics from half-logistic distribution with applications to inference Fulltext Access 18 Pages 2011
Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers Fulltext Access 18 Pages 2011
A framework for discovering and classifying ubiquitous services in digital health ecosystems Fulltext Access 18 Pages 2011
Construct Aspectual Models from Requirement Documents for Model-driven Development of Automotive Software Fulltext Access 18 Pages 2011
A mixture of generalized latent variable models for mixed mode and heterogeneous data Fulltext Access 19 Pages 2011
Efficient maximum likelihood estimation of copula based meta tt-distributions Fulltext Access 19 Pages 2011
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) Fulltext Access 19 Pages 2011