2467 search results - page 90 / 494 » Finite State Machines |
143
click to vote
WECWIS
2003
IEEE
15 years 10 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
203
click to vote
CSREAESA
2008
15 years 7 months ago
2008
A group testing-based BIST technique to identify faulty hard cores in FPGA devices is presented. The method provides for isolation of faults in embedded cores as demonstrated by ex...
171
click to vote
IJCAI
2003
15 years 6 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
194
Voted
FLAIRS
2000
15 years 6 months ago
2000
Today's driving simulators are used in vehicle research and design as well as in training. However, most simulators are not convincing because the degree of realism is not ad...
156
click to vote
VCIP
2000
15 years 6 months ago
2000
The concentric mosaics offer a quick solution to the construction and navigation of a virtual environment. To reduce the vast data amount of the concentric mosaics, a compression ...