5326 search results - page 315 / 1066 » On what we can ensure |
163
click to vote
TABLEAUX
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
137
click to vote
UC
2005
Springer
16 years 5 days ago
2005
Springer
Consider a database most of whose entries are marked but the precise fraction of marked entries is not known. What is known is that the fraction of marked entries is 1 − , where ...
135
click to vote
CPM
2004
Springer
16 years 2 days ago
2004
Springer
Optimized spaced seeds improve sensitivity and specificity in local homology search. Several authors have shown that multiple seeds can have better sensitivity and specificity t...
166
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
It is possible to model avatars that learn to simulate object manipulations and other complex actions. A number of applications may benefit from this technique including safety, e...
172
click to vote
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...