Sciweavers

1953 search results - page 187 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
176
Voted
EDBT
2006
ACM
266views Database» more  EDBT 2006»
16 years 5 months ago
From Analysis to Interactive Exploration: Building Visual Hierarchies from OLAP Cubes
We present a novel framework for comprehensive exploration of OLAP data by means of user-defined dynamic hierarchical visualizations. The multidimensional data model behind the OLA...
Svetlana Vinnik, Florian Mansmann
131
Voted
ICRA
2006
IEEE
105views Robotics» more  ICRA 2006»
15 years 11 months ago
Motion Planning for the Roller Racer with a Sticking/Slipping Switching Model
Abstract— The roller racer, an undulatory locomotion system, is a toy which can be propelled forward by sitting on it and only oscillating the steering handle. A nonholonomic dyn...
Peng Cheng, Emilio Frazzoli, Vijay Kumar
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
15 years 11 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
123
Voted
ACL
1993
15 years 6 months ago
A Speech-First Model for Repair Detection and Correction
Interpreting fully natural speech is an important goal for spoken language understanding systems. However, while corpus studies have shown that about 10% of spontaneous utterances...
Christine H. Nakatani, Julia Hirschberg
DSN
2009
IEEE
15 years 12 months ago
Report generation for simulation traces with Traviando
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
Peter Kemper