Sciweavers

1973 search results - page 246 / 395
» The Construction of Ludic Space
Sort
View
HYBRID
1999
Springer
15 years 10 months ago
As Soon as Possible: Time Optimal Control for Timed Automata
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
Eugene Asarin, Oded Maler
FGR
1998
IEEE
162views Biometrics» more  FGR 1998»
15 years 10 months ago
Coding Facial Expressions with Gabor Wavelets
A method for extracting information about facial expressions from images is presented. Facial expression images are coded using a multi-orientation, multi-resolution set of Gabor ...
Michael J. Lyons, Shigeru Akamatsu, Miyuki Kamachi...
VVS
1998
IEEE
115views Visualization» more  VVS 1998»
15 years 10 months ago
Extracting ISO-Valued Features in 4-Dimensional Scalar Fields
Isosurfaces are an important tool for finding features in 3D scalar data. This paper describes how recursive contour meshing is applied to extract similar features in 4-dimensiona...
Chris Weigle, David C. Banks
ICCAD
1997
IEEE
125views Hardware» more  ICCAD 1997»
15 years 10 months ago
A deductive technique for diagnosis of bridging faults
A deductive technique is presented that uses voltage testing for the diagnosis of single bridging faults between two gate input or output lines and is applicable to combinational ...
Srikanth Venkataraman, W. Kent Fuchs
SIGGRAPH
1996
ACM
15 years 10 months ago
Visual Models of Plants Interacting with Their Environment
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...
Radomír Mech, Przemyslaw Prusinkiewicz