29046 search results - page 97 / 5810 » Computable Models |
104
click to vote
WABI
2007
Springer
15 years 9 months ago
2007
Springer
Graph-theoretic models have come to the forefront as some of the most powerful and practical methods for sequence assembly. Simultaneously, the computational hardness of the underl...
127
Voted
IUI
1999
ACM
15 years 7 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
151
click to vote
ENTCS
2006
15 years 2 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
77
Voted
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
120
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
We examine the difference and similarities between two online computer science citation databases DBLP and CiteSeer. The database entries in DBLP are inserted manually while the C...