7192 search results - page 1182 / 1439 » Interactive Simulation and Visualization |
206
Voted
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with exclusion, a connective dual to implication. Cut-elimination in biintuitionistic logic is complicated due to t...
170
click to vote
IWSOS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on â€...
193
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Simulation is frequently used in the study of multi-agent systems. Unfortunately, in many cases, it is not necessarily clear how faithfully the details of the simulated model r...
180
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper we develop a distributed rate control algorithm for multiple-unicast-sessions when network coding is allowed. Building on our recent flow-based characterization o...
156
click to vote
CEC
2007
IEEE
16 years 1 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...