10666 search results - page 1540 / 2134 » Quantum programming languages |
179
click to vote
ICALP
2010
Springer
15 years 12 months ago
2010
Springer
Given a positive integer n and a positive semidefinite matrix A = (Aij ) ∈ Rm×m the positive semidefinite Grothendieck problem with rank-nconstraint is (SDPn) maximize mX i=1 ...
177
click to vote
ICALP
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. This paper tackles three algorithmic problems for probabilistic automata on finite words: the Emptiness Problem, the Isolation Problem and the Value 1 Problem. The Empti...
181
click to vote
ICALP
2010
Springer
15 years 12 months ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
207
click to vote
IFIP
2010
Springer
15 years 11 months ago
2010
Springer
Traditionally, ocean acoustic signals have been acquired using hydrophones, which measure the pressure field and are typically omnidirectional. A vector sensor measures both the ac...
165
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
While Enterprise Architecture Modeling (EAM) methodologies become more and more popular, an EAM methodology tailored to the needs of virtual organizations (VO) is still to be devel...