Sciweavers

862 search results - page 134 / 173
» A Framework for Testing Peer-to-Peer Systems
Sort
View
ESWA
2011
249views Database» more  ESWA 2011»
15 years 17 days ago
Personalized long-term ECG classification: A systematic approach
This paper presents a personalized long-term electrocardiogram (ECG) classification framework, which addresses the problem within a long-term ECG signal, known as Holter register, ...
Serkan Kiranyaz, Turker Ince, Jenni Pulkkinen, Mon...
209
Voted
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 9 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
150
Voted
MCS
2010
Springer
15 years 7 months ago
Dynamic Selection of Ensembles of Classifiers Using Contextual Information
In a multiple classifier system, dynamic selection (DS) has been used successfully to choose only the best subset of classifiers to recognize the test samples. Dos Santos et al...
Paulo Rodrigo Cavalin, Robert Sabourin, Ching Y. S...
150
Voted
CCIA
2009
Springer
15 years 6 months ago
mWater: a Sandbox for Agreement Technologies
The management of natural resources is an intricate and consequential task. In particular, water management is at the forefront of public policy priorities in many countries becaus...
Antonio Garrido, Adriana Giret, Pablo Noriega
CHI
2007
ACM
16 years 6 months ago
iStuff mobile: rapidly prototyping new mobile phone interfaces for ubiquitous computing
iStuff Mobile is the first rapid prototyping framework that helps explore new sensor-based interfaces with existing mobile phones. It focuses on sensor-enhanced physical interface...
Rafael Ballagas, Faraz Memon, Rene Reiners, Jan O....