Sciweavers

5005 search results - page 691 / 1001
» The Design and Analysis of Parallel Algorithms
Sort
View
157
Voted
ICASSP
2010
IEEE
15 years 4 months ago
Learning from other subjects helps reducing Brain-Computer Interface calibration time
A major limitation of Brain-Computer Interfaces (BCI) is their long calibration time, as much data from the user must be collected in order to tune the BCI for this target user. I...
Fabien Lotte, Cuntai Guan
JAISE
2010
124views Algorithms» more  JAISE 2010»
15 years 1 months ago
Exploring the responsibilities of single-inhabitant Smart Homes with Use Cases
This paper makes a number of contributions to the field of requirements analysis for Smart Homes. It introduces Use Cases as a tool for exploring the responsibilities of Smart Home...
Paul Lyons, An Tran Cong, H. Joe Steinhauer, Steph...
OSDI
2008
ACM
16 years 7 months ago
Hunting for Problems with Artemis
Artemis is a modular application designed for analyzing and troubleshooting the performance of large clusters running datacenter services. Artemis is composed of four modules: (1)...
Gabriela F. Cretu-Ciocarlie, Mihai Budiu, Mois&eac...
DATE
2005
IEEE
164views Hardware» more  DATE 2005»
16 years 9 days ago
Automated Synthesis of Assertion Monitors using Visual Specifications
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
Ambar A. Gadkari, S. Ramesh
WECWIS
2003
IEEE
85views ECommerce» more  WECWIS 2003»
15 years 12 months ago
A Tractable Mechanism for Time Dependent Markets
Markets with time dependent goods are special cases of multi commodity markets.The design of large flexible markets with time dependent goods is a computational challenge. In thi...
Per Carlsson, Arne Andersson, Fredrik Ygge