1677 search results - page 72 / 336 » On the Completeness of Quantum Computation Models |
170
click to vote
CLUSTER
2006
IEEE
15 years 10 months ago
2006
IEEE
One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient complete exchange ...
161
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
161
click to vote
DSVIS
1994
Springer
15 years 9 months ago
1994
Springer
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...
177
click to vote
QEST
2007
IEEE
16 years 12 days ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
169
click to vote
MEMBRANE
2009
Springer
16 years 20 days ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...