3457 search results - page 272 / 692 » A Symbol Is Not a Symbol |
164
click to vote
DRR
2004
15 years 9 months ago
2004
Symbolic Indirect Correlation (SIC) is a new classification method for unsegmented patterns. SIC requires two levels of comparisons. First, the feature sequences from an unknown q...
160
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
The impact of parameter variations in integrated analog circuits is usually analyzed by Monte Carlo methods with a high number of simulation runs. Few approaches based on interval ...
181
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Many security properties are naturally expressed as indistinguishability between two versions of a protocol. In this paper, we show that computational proofs of indistinguishabili...
158
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...
162
click to vote
LREC
2008
15 years 8 months ago
2008
Recently the LATL has undertaken the development of a multilingual translation system based on a symbolic parsing technology and on a transfer-based translation model. A crucial c...