3172 search results - page 148 / 635 » Combining Specification Techniques for Processes, Data and T... |
188
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
A new model for the multiscale characterization of turbulence and chaotic information in digital images is presented. The model is applied to infrared satellite images for the det...
157
click to vote
FORMATS
2007
Springer
16 years 19 days ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
207
click to vote
IOLTS
2006
IEEE
16 years 15 days ago
2006
IEEE
So far, performance and reliability of circuits have been determined by worst-case characterization of silicon and environmental noise. As new deep sub-micron technologies exacerb...
170
click to vote
RTAS
2002
IEEE
15 years 11 months ago
2002
IEEE
Delay variations (jitter) in computations and communications cause degradation of performance in control applications. There are many sources of jitter, including variations in ex...
142
click to vote
IEAAIE
2005
Springer
15 years 12 months ago
2005
Springer
Resistance spot welding is an important and widely used method for joining metal objects. In this paper, various classification methods for identifying welding processes are evalua...