7149 search results - page 1309 / 1430 » How dynamic is the Web |
148
click to vote
DCOSS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Today, there exist many algorithms and protocols for constructing agregation or dissemination trees for wireless sensor networks that are optimal (for different notions o...
147
Voted
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
133
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...
124
Voted
ATAL
1995
Springer
15 years 7 months ago
1995
Springer
In this paper we present a formalisation of motivational attitudes, the attitudes that are the driving forces behind the actions of agents. We consider the statics of these attitu...
158
click to vote
ICCV
1995
IEEE
15 years 7 months ago
1995
IEEE
A new approach to tracking weakly modeled objects in a semantically rich domain is presented. We define a closed-world as a space-time region of an image sequence in which the co...