5675 search results - page 902 / 1135 » Formalising Performative Interaction |
122
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
In architecture companies, work is very often performed by several individuals. From conceptual design to the construction of a final product, the object passes through many hands,...
138
Voted
COCO
2004
Springer
15 years 10 months ago
2004
Springer
This paper studies quantum Arthur–Merlin games, which are Arthur–Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum in...
100
Voted
DNA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Speed of computation and power consumption are the two main parameters of conventional computing devices implemented in microelectronic circuits. As performance of such d...
127
Voted
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
200
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Improving image quality is the backbone of highly competitive display industry. Contemporary video processing system design is a challenging optimization problem. General...