520 search results - page 10 / 104 » Pauli Measurements are Universal |
CLEF
2008
Springer
13 years 9 months ago
2008
Springer
We describe our participation in Multilingual Question Answering at CLEF 2008 using German and English as our source and target languages respectively. The system was built using ...
PDPTA
2003
13 years 8 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
MCS
2008
Springer
13 years 7 months ago
2008
Springer
The purpose of this paper is to quantify the efficiency with which Australian universities utilise their teaching resources. The study estimates the cost efficiency of 36 universi...
COR
2010
13 years 7 months ago
2010
In many real-life optimisation problems, there are multiple interacting components in a solution. For example, different components might specify assignments to different kinds of...
CLEF
2009
Springer
13 years 5 months ago
2009
Springer
Our group within the University of Amsterdam participated in the large-scale visual concept detection task of ImageCLEF 2009. Our experiments focus on increasing the robustness of...