Sciweavers

1953 search results - page 187 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
158
Voted
EDBT
2006
ACM
266views Database» more  EDBT 2006»
16 years 3 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
114
Voted
ICRA
2006
IEEE
105views Robotics» more  ICRA 2006»
15 years 9 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
146
Voted
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
15 years 10 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
ACL
1993
15 years 5 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
137
Voted
DSN
2009
IEEE
15 years 10 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