626 search results - page 48 / 126 » When Can Formal Methods Make a Real Difference |
155
click to vote
APN
1992
Springer
15 years 7 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
129
Voted
KDD
2004
ACM
16 years 3 months ago
2004
ACM
For the discovery of similar patterns in 1D time-series, it is very typical to perform a normalization of the data (for example a transformation so that the data follow a zero mea...
131
click to vote
VG
2001
15 years 4 months ago
2001
The proper usage and creation of transfer functions for time-varying data sets is an often ignored problem in volume visualization. Although methods and guidelines exist for time-i...
117
Voted
ICCAD
2008
IEEE
16 years 8 days ago
2008
IEEE
Abstract—Lithographic limitations and manufacturing uncertainties are resulting in fabricated shapes on wafer that are topologically equivalent, but geometrically different from ...
188
Voted
WISE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Regarding web searches, users have become used to keywordbased search interfaces due to their ease of use. However, this implies a semantic gap between the user's in...