1690 search results - page 30 / 338 » Algorithmic Properties of Millstream Systems |
155
Voted
CPHYSICS
2011
14 years 7 months ago
2011
In the presented article we present an algorithm for the computation of ground state spin configurations for the 2d random bond Ising model on planar triangular lattice graphs. T...
140
Voted
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
119
Voted
AIEDAM
1999
15 years 3 months ago
1999
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...
116
Voted
MMDB
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we introduce the concept of a priority curve associated with a video. We then provide an algorithm that can use the priority curve to create a summary (of a desired...
118
Voted
SASO
2009
IEEE
15 years 10 months ago
2009
IEEE
—We consider here multi-agent patrolling as the task for a group of agents to repeatedly visit all the cells of a discrete environment. Wagner et al. [1] have introduced patrolli...