CSIM is a simulation model-building toolkit that is used by C/C++ programmers to implement processoriented, discrete-event simulation models. These models mimic the operation of c...
In this paper, we study how an opinion dynamics model can be the core of a collective decision-making mechanism for swarm robotics. Our main result is that when opinions represent ...
Marco Antonio Montes de Oca, Eliseo Ferrante, Nith...
Many computer vision systems try to infer semantic information about a video scene content by looking at the time series of the silhouettes of the moving objects. This paper propo...
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
Abstract— Motivated by applications to sensor, peer-topeer and ad hoc networks, we study distributed asynchronous algorithms, also known as gossip algorithms, for computation and...
Stephen P. Boyd, Arpita Ghosh, Balaji Prabhakar, D...