8825 search results - page 121 / 1765 » All for one or one for all |
129
click to vote
ACOM
2006
Springer
15 years 7 months ago
2006
Springer
The basic idea behind a negotiation is that the agents make offers that they judge “good” and respond to the offers made to them until a compromise is reached. The choice of th...
108
click to vote
CIBCB
2005
IEEE
15 years 7 months ago
2005
IEEE
We analyse a suite of Boolean networks which have been evolved to exhibit limit cycle-type dynamics in terms of the distribution of small network motifs and feedback loops. We find...
106
click to vote
GBRPR
2005
Springer
15 years 6 months ago
2005
Springer
One of the main difficult problem in video analysis is to track moving objects during a video sequence, especially in presence of occlusions. Unfortunately, almost all the differ...
WDAG
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The obstruction-free progress condition is weaker than previous nonblocking progress conditions such as lock-freedom and waitfreedom, and admits simpler implementations t...
119
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...