2838 search results - page 347 / 568 » Verifying Controlled Components |
105
click to vote
WSC
2008
15 years 3 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
124
click to vote
ETVC
2008
15 years 2 months ago
2008
We present a new method for reconstructing the 3-D surface of an opaque object from the motion of its depth discontinuities, when viewed under orthographic projection as the objec...
106
click to vote
IE
2007
15 years 2 months ago
2007
This paper discusses further work on the authors’ “background music reactive games” concept, where background music is used to modify video game parameters and thus actions ...
133
Voted
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
93
Voted
APVIS
2010
15 years 2 months ago
2010
This paper presents an interactive transfer function design tool based on ellipsoidal Gaussian transfer functions (ETFs). Our approach explores volumetric features in the statisti...