Sciweavers

3073 search results - page 160 / 615
» Real World Verification
Sort
View
MEMOCODE
2005
IEEE
15 years 10 months ago
A synchronous language at work: the story of Lustre
We recall the story of the development of the synchronous data-flow language LUSTRE and of its industrial transfer inside the toolset SCADE. We try to analyse the reasons of its ...
Nicolas Halbwachs
NIME
2004
Springer
141views Music» more  NIME 2004»
15 years 10 months ago
StickMusic: Using haptic feedback with a phase vocoder
StickMusic is an instrument comprised of two haptic devices, a joystick and a mouse, which control a phase vocoder in real time. The purpose is to experiment with ideas of how to ...
Hans-Christoph Steiner
167
Voted
HUC
1999
Springer
15 years 8 months ago
On Positioning for Augmented Reality Systems
In Augmented Reality (AR), see-through Head Mounted Displays (HMDs) superimpose virtual 3D objects over the real world. They have the potential to enhance a user's perception ...
Stelian Persa, Pieter Jonker
FOCI
2007
IEEE
15 years 8 months ago
Type-2 Fuzzy Sets: Geometric Defuzzification and Type-Reduction
This paper presents the geometric defuzzifier for generalised type-2 fuzzy sets. This defuzzifier can be executed in real-time and can therefore be applied to control and other rea...
Simon Coupland
FLAIRS
1998
15 years 5 months ago
Strategic Evaluation in Complex Domains
In somecomplexdomains,like the gameof Go,evaluating a position is not simple. In other games,like Chessfor example,material balancegives goodandfast to compute insight onthe value...
Tristan Cazenave