1481 search results - page 107 / 297 » Optimal Reductions in Interaction Systems |
108
click to vote
ASPDAC
2001
ACM
15 years 2 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following p...
133
click to vote
GECCO
2004
Springer
15 years 4 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...
ATAL
2004
Springer
15 years 2 months ago
2004
Springer
The coalition formation process, in which a number of independent, autonomous agents come together to act as a collective, is an important form of interaction in multiagent system...
85
Voted
CEC
2007
IEEE
15 years 5 months ago
2007
IEEE
—In a distributed virtual environment interest management schemes attempt to ensure virtual world objects exchange messages only if they are interacting. This provides an opportu...