5695 search results - page 816 / 1139 » Using Many Cameras as One |
172
click to vote
DFG
2004
Springer
16 years 4 days ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
159
click to vote
DRM
2004
Springer
16 years 4 days ago
2004
Springer
Recently, there is a growing interest in the research community to use tamper-resistant processors for software copy protection. Many of these tamper-resistant systems rely on a s...
154
click to vote
ECAI
2004
Springer
16 years 4 days ago
2004
Springer
Many decision problems can be modelled as adversarial constraint satisfaction, which allows us to integrate methods from AI game playing. In particular, by using the idea of oppone...
154
click to vote
FMCAD
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
168
click to vote
FOSSACS
2004
Springer
16 years 4 days ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...