156 search results - page 12 / 32 » Using Alternating Words to Describe Symbolic Pictures |
112
Voted
ISSTA
1998
ACM
15 years 4 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
—This paper describes a new low-power, area and pin efficient alternative to differential encoding for high performance chip-to-chip and backplane signaling. The technique, calle...
TITB
2008
15 years 9 days ago
2008
A large number of the adult population suffers from some kind of back pain during their lifetime. Part of the process of diagnosing and treating such back pain is for a clinician t...
145
click to vote
CIVR
2008
Springer
15 years 2 months ago
2008
Springer
Semantic similarity between words or phrases is frequently used to find matching correlations between search queries and documents when straightforward matching of terms fails. Th...
83
Voted
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
The Boyer-Moore algorithm uses two pre-computed tables for searching a string: skip, which utilizes the occurrence heuristic of symbols in a pattern, and shift, which utilizes the...