1717 search results - page 283 / 344 » A Computable Spectral Theorem |
118
click to vote
CORR
2008
Springer
15 years 18 days ago
2008
Springer
Many problems in mathematics and computer science can be reduced to proving the satisfiability of conjunctions of literals in a background theory which is often the extension of a ...
108
Voted
JCP
2008
15 years 15 days ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
103
click to vote
GC
2007
Springer
15 years 14 days ago
2007
Springer
The pre-coloring extension problem consists, given a graph G and a set of nodes to which some colors are already assigned, in finding a coloring of G with the minimum number of co...
108
click to vote
SAC
2006
ACM
15 years 13 days ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
85
Voted
JCC
2007
15 years 13 days ago
2007
: Proteins are flexible systems and commonly populate several functionally important states. To understand protein function, these states and their energies have to be identified...