4075 search results - page 767 / 815 » Modeling Distributed Algorithm Using B |
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
In large, collaborative, heterogeneous teams, team members often collect information that is useful to other members of the team. Recognizing the utility of such information and d...
113
Voted
COCOA
2009
Springer
15 years 7 months ago
2009
Springer
Combinatorial optimization problems have recently emerged in the design of controllers for OLED displays. The objective is to decompose an image into subframes minimizing the addre...
113
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
—In this paper, we clarify inter-link interference in wireless ad-hoc networks by using link-directional interference graphs (l-graph). Most of the interference graphs in the lit...
91
Voted
ICIP
2007
IEEE
15 years 6 months ago
2007
IEEE
Recent development in network visual communications has emphasized on the need of objective, reliable and easy-to-use video quality assessment (VQA) systems. This paper introduces...
103
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Reasoning about agents that we observe in the world is challenging. Our available information is often limited to observations of the agent’s external behavior in the past and p...