2597 search results - page 193 / 520 » On numbers of Davenport-Schinzel sequences |
117
click to vote
DATE
2000
IEEE
15 years 6 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
119
Voted
IEEEPACT
1998
IEEE
15 years 6 months ago
1998
IEEE
Conventional speculative architectures use branch prediction to evaluate the most likely execution path during program execution. However, certain branches are difficult to predic...
GCB
1998
Springer
15 years 6 months ago
1998
Springer
The leucine zipper is a dimerization domain occurring mostly in regulatory and thus in many oncogenic proteins. The leucine repeat in the sequence has been traditionally used for ...
SIGGRAPH
1996
ACM
15 years 5 months ago
1996
ACM
We present a new representation for time-varying image data that allows for varying--and arbitrarily high--spatial and temporal resolutions in different parts of a video sequence....
120
click to vote
EDOC
2004
IEEE
15 years 5 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...