Sciweavers

582 search results - page 56 / 117
» Event analyzer: a tool for sequential data processing
Sort
View
MEMOCODE
2003
IEEE
15 years 8 months ago
Bridging CSP and C++ with Selective Formalism and Executable Specifications
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
William B. Gardner
ICRA
2007
IEEE
137views Robotics» more  ICRA 2007»
15 years 9 months ago
Integrated Debugging of Large Modular Robot Ensembles
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
Benjamin D. Rister, Jason Campbell, Padmanabhan Pi...
IPPS
2010
IEEE
15 years 1 months ago
Exploring parallelism in short sequence mapping using Burrows-Wheeler Transform
Next-generation high throughput sequencing instruments are capable of generating hundreds of millions of reads in a single run. Mapping those reads to a reference genome is an ext...
Doruk Bozdag, Ayat Hatem, Ümit V. Çata...
ISMDA
2005
Springer
15 years 8 months ago
Foreseeing Promising Bio-medical Findings for Effective Applications of Data Mining
Abstract. The increasing availability of automated data collection tools, database technologies and Information and Communication Technologies in biomedicine and health care have l...
Stefano Bonacina, Marco Masseroli, Francesco Pinci...
VIS
2009
IEEE
200views Visualization» more  VIS 2009»
16 years 4 months ago
Interactive Coordinated Multiple-View Visualization of Biomechanical Motion Data
Abstract-- We present an interactive framework for exploring space-time relationships in databases of experimentally collected highresolution biomechanical data. These data describ...
Daniel F. Keefe, Marcus Ewert, William Ribarsky,...