3690 search results - page 222 / 738 » Computation with classical sequents |
102
click to vote
ICS
2010
Tsinghua U.
15 years 4 months ago
2010
Tsinghua U.
Quantum k-SAT is the problem of deciding whether there is a n-qubit state which is perpendicular to a set of vectors, each of which lies in the Hilbert space of k qubits. Equivale...
115
click to vote
KR
2000
Springer
15 years 4 months ago
2000
Springer
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
110
Voted
CIBCB
2005
IEEE
15 years 2 months ago
2005
IEEE
— We present an integrative method for clustering coregulated genes and elucidating their underlying regulatory mechanisms. We use multi-state partition functions and thermodynam...
129
click to vote
ICCV
2007
IEEE
15 years 2 months ago
2007
IEEE
The analysis of facial expression temporal dynamics is of great importance for many real-world applications. Being able to automatically analyse facial muscle actions (Action Units...
93
Voted
COMMA
2008
15 years 2 months ago
2008
Abstract Classical propositional logic is an appealing option for modelling argumentation but the computational viability of generating an argument is an issue. Here we propose ame...