Sciweavers

3281 search results - page 535 / 657
» An Approach to use Executable Models for Testing
Sort
View
IDA
2005
Springer
14 years 2 months ago
Condensed Nearest Neighbor Data Domain Description
—A simple yet effective unsupervised classification rule to discriminate between normal and abnormal data is based on accepting test objects whose nearest neighbors’ distances ...
Fabrizio Angiulli
TSD
2004
Springer
14 years 2 months ago
Slovak Text-to-Speech Synthesis in ARTIC System
Abstract. This paper presents a brand-new Slovak text-to-speech system. It was developed within the framework of ARTIC system (primarily designed to synthesize Czech speech) with r...
Jindrich Matousek, Daniel Tihelka
LICS
2003
IEEE
14 years 2 months ago
Revisiting Digitization, Robustness, and Decidability for Timed Automata
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
Joël Ouaknine, James Worrell
DAGM
2003
Springer
14 years 2 months ago
Real-Time Recognition of 3D-Pointing Gestures for Human-Machine-Interaction
We present a system capable of visually detecting pointing gestures and estimating the 3D pointing direction in real-time. We use Hidden Markov Models (HMMs) trained on different ...
Kai Nickel, Rainer Stiefelhagen
HAPTICS
2010
IEEE
14 years 2 months ago
Preliminary Evaluation of a Haptic Aiding Concept for Remotely Piloted Vehicles
This paper shows a preliminary experimental evaluation of a novel haptic aiding for Remotely Piloted Vehicles. The aerodynamically-inspired haptic feedback law was named Convention...
Samantha M. C. Alaimo, Lorenzo Pollini, Alfredo Ma...