971 search results - page 171 / 195 » Approximate Satisfiability and Equivalence |
JCDL
2005
ACM
15 years 5 months ago
2005
ACM
In this paper, we discuss the findings of an in-depth observational study of reading and within-document navigation and add to these findings the results of a second analysis of h...
124
click to vote
IWLCS
2005
Springer
15 years 5 months ago
2005
Springer
Aiming to clarify the convergence or divergence conditions for Learning Classifier System (LCS), this paper explores: (1) an extreme condition where the reinforcement process of ...
100
click to vote
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
Emerging data stream management systems approach the challenge of massive data distributions which arrive at high speeds while there is only small storage by summarizing and minin...
102
click to vote
HYBRID
2001
Springer
15 years 4 months ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
ISPD
1997
ACM
15 years 4 months ago
1997
ACM
A linear wirelength objective more e ectively captures timing, congestion, and other global placement considerations than a squared wirelength objective. The GORDIAN-L cell placem...