16513 search results - page 2939 / 3303 » Numerical Analysis Methods |
143
Voted
INFOVIS
1999
IEEE
15 years 9 months ago
1999
IEEE
Interactive selection is a critical component in exploratory visualization, allowing users to isolate subsets of the displayed information for highlighting, deleting, analysis, or...
206
click to vote
CAV
1999
Springer
15 years 9 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
148
click to vote
ISCAS
1999
IEEE
15 years 9 months ago
1999
IEEE
Dynamic translinear (DTL) circuits use the exponential inputoutput relation of the transistor as a primitive for the synthesis of electronic circuits. As a consequence the analysi...
141
click to vote
DAWAK
1999
Springer
15 years 9 months ago
1999
Springer
Data mining can be used to extensively automate the data analysis process. Techniques for mining interval time series, however, have not been considered. Such time series are commo...
158
click to vote
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...