29046 search results - page 438 / 5810 » Computable Models |
142
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
We show how to implement an arbitrary two-qubit unitary operation using any of several quantum gate libraries with small a priori upper bounds on gate counts. In analogy to librar...
179
click to vote
RSS
2007
15 years 7 months ago
2007
— Recent progress in the algorithm as well as the processor power have made the dynamics simulation of complex kinematic chains more realistic in various fields such as human mo...
184
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
A number of models of computation on trees labeled with symbols from an infinite alphabet is considered. We study closure and decision properties of each of the models and compare ...
168
click to vote
MM
2006
ACM
16 years 7 days ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
163
click to vote
FMOODS
2006
15 years 7 months ago
2006
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...