Sciweavers

4516 search results - page 504 / 904
» Automated System Design for Availability
Sort
View
AIR
2005
119views more  AIR 2005»
15 years 6 months ago
An Assessment of Case-Based Reasoning for Spam Filtering
Because of the changing nature of spam, a spam filtering system that uses machine learning will need to be dynamic. This suggests that a case-based (memory-based) approach may work...
Sarah Jane Delany, Padraig Cunningham, Lorcan Coyl...
ICUMT
2009
15 years 4 months ago
Coping with variability of location sensing in large-scale ubicomp environments
The work addresses the problem of coping with a diversity of location tracking techniques available in ubiquitous computing environments. We investigate how this diversity can be e...
Petr Aksenov, Kris Luyten, Karin Coninx
APCCAS
2006
IEEE
233views Hardware» more  APCCAS 2006»
16 years 28 days ago
Jointly Optimized Modulated-Transmitter and Receiver FIR MIMO Filters
— In recent years, several approaches have been proposed aiming the optimal joint design of finite impulse response (FIR) multiple-input multiple-output (MIMO) transmitter and r...
Guilherme Pinto, Paulo S. R. Diniz, Are Hjø...
ASYNC
2007
IEEE
129views Hardware» more  ASYNC 2007»
15 years 11 months ago
Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
Gwen Salaün, Wendelin Serwe, Yvain Thonnart, ...
CCGRID
2010
IEEE
14 years 10 months ago
WORKEM: Representing and Emulating Distributed Scientific Workflow Execution State
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
Lavanya Ramakrishnan, Dennis Gannon, Beth Plale