Sciweavers

8315 search results - page 1570 / 1663
» Performance Evaluation for Global Computation
Sort
View
ENTCS
2008
103views more  ENTCS 2008»
15 years 6 months ago
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
Stefan Blom, Boudewijn R. Haverkort, Matthias Kunt...
BMCBI
2006
110views more  BMCBI 2006»
15 years 6 months ago
Bias in error estimation when using cross-validation for model selection
Background: Cross-validation (CV) is an effective method for estimating the prediction error of a classifier. Some recent articles have proposed methods for optimizing classifiers...
Sudhir Varma, Richard Simon
PUC
2006
158views more  PUC 2006»
15 years 6 months ago
Can we do without GUIs? Gesture and speech interaction with a patient information system
We have developed a gesture input system that provides a common interaction technique across mobile, wearable and ubiquitous computing devices of diverse form factors. In this pap...
Eamonn O'Neill, Manasawee Kaenampornpan, Vassilis ...
SIGIR
2008
ACM
15 years 6 months ago
Efficient top-k querying over social-tagging networks
Online communities have become popular for publishing and searching content, as well as for finding and connecting to other users. User-generated content includes, for example, pe...
Ralf Schenkel, Tom Crecelius, Mouna Kacimi, Sebast...
SIGMETRICS
2008
ACM
140views Hardware» more  SIGMETRICS 2008»
15 years 6 months ago
Scalable VPN routing via relaying
Enterprise customers are increasingly adopting MPLS (Multiprotocol Label Switching) VPN (Virtual Private Network) service that offers direct any-to-any reachability among the cust...
Changhoon Kim, Alexandre Gerber, Carsten Lund, Dan...
« Prev « First page 1570 / 1663 Last » Next »