9931 search results - page 1720 / 1987 » Generative Modeling by PRISM |
156
click to vote
FTRTFT
1998
Springer
15 years 9 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
124
click to vote
HASE
1997
IEEE
15 years 9 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
126
click to vote
KR
1998
Springer
15 years 9 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
181
click to vote
VISUALIZATION
1997
IEEE
15 years 9 months ago
1997
IEEE
Navigation through 3D spaces is required in many interactive graphics and virtual reality applications. We consider the subclass of situations in which a 2D device such as a mouse...
141
click to vote
VISUALIZATION
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper presents an algorithm, UFLIC (Unsteady Flow LIC), to visualize vectordata in unsteadyflow fields. Using the Line Integral Convolution (LIC) as the underlying method, ...