570 search results - page 74 / 114 » Robustness and Implementability of Timed Automata |
IOLTS
2009
IEEE
14 years 5 months ago
2009
IEEE
—Robust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...
VISUALIZATION
2005
IEEE
14 years 4 months ago
2005
IEEE
Quality surface meshes for molecular models are desirable in the studies of protein shapes and functionalities. However, there is still no robust software that is capable to gener...
GRID
2004
Springer
14 years 4 months ago
2004
Springer
Computational grids are increasingly being deployed in campus environments to provide unified access to distributed and heterogeneous resources such as clusters, storage arrays, ...
AMR
2008
Springer
14 years 15 days ago
2008
Springer
Abstract. This article explores the feasibility of a market-ready, mobile pattern recognition system based on the latest findings in the field of object recognition and currently a...
CANDC
2006
ACM
13 years 11 months ago
2006
ACM
In this paper, we address the peak detection and alignment problem in the analysis of mass spectrometry data. To deal with the peak redundancy problem existing in the MALDI data a...