5608 search results - page 116 / 1122 » On the Theory of Matchgate Computations |
200
click to vote
BIRTHDAY
2007
Springer
16 years 18 days ago
2007
Springer
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
167
click to vote
COORDINATION
2007
Springer
16 years 17 days ago
2007
Springer
We investigate, in a process algebraic setting, a new notion of compliance that we call strong service compliance: composed services are strong compliant if their composition is bo...
183
click to vote
CSL
2007
Springer
16 years 17 days ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
143
click to vote
ICPR
2006
IEEE
16 years 13 days ago
2006
IEEE
Different features carry more or less rich and varied pieces of information to characterize a pattern. The fusion of these different sources of information can provide an opportun...
189
click to vote
ICDCSW
2005
IEEE
16 years 16 hour ago
2005
IEEE
Theorists and practitioners have fairly different perspectives on how wireless broadcast works. Theorists think about synchrony; practitioners think about backoff. Theorists assum...