Sciweavers

1146 search results - page 51 / 230
» Evaluation of modeling techniques for agent-based systems
Sort
View
QEST
2009
IEEE
15 years 4 months ago
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
Husain Aljazzar, Manuel Fischer, Lars Grunske, Mat...
ADAEUROPE
2008
Springer
14 years 11 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
ICASSP
2010
IEEE
14 years 10 months ago
Singing information processing based on singing voice modeling
In this paper, we propose a novel area of research referred to as singing information processing. To shape the concept of this area, we first introduce singing understanding syst...
Masataka Goto, Takeshi Saitou, Tomoyasu Nakano, Hi...
ISCAS
2003
IEEE
106views Hardware» more  ISCAS 2003»
15 years 3 months ago
Design of a digital reaction-diffusion system for restoring blurred fingerprint images
This paper presents an algorithm for fingerprint image restoration using a Digital Reaction-Diffusion System (DRDS). The DRDS is a model of a discrete-time discrete-space nonline...
Koichi Ito, Takafumi Aoki, Tatsuo Higuchi
EATIS
2007
ACM
15 years 1 months ago
A methodology to design information retrieval systems (MDIRS)
MDIRS is methodology to define the actors and the steps to build efficiently information retrieval (IR) System. MDRIS main mission is to analyze, develop and evaluate mechanisms s...
João Ferreira, Alberto Silva, José D...