20833 search results - page 3838 / 4167 » Hidden process models |
148
click to vote
JAIR
2006
15 years 4 months ago
2006
Allocating scarce resources among agents to maximize global utility is, in general, computationally challenging. We focus on problems where resources enable agents to execute acti...
162
click to vote
JALC
2006
15 years 4 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
131
click to vote
JNW
2008
15 years 4 months ago
2008
We studied the possibility of using wireless sensor networks for vehicle identification in a large open field. This is exciting research in that it not only presents a challenge bu...
136
click to vote
JCB
2006
15 years 4 months ago
2006
Following Zuker (1986), a saturated secondary structure for a given RNA sequence is a secondary structure such that no base pair can be added without violating the definition of s...
150
click to vote
DC
2007
15 years 4 months ago
2007
Abstract Many reliable distributed systems are consensusbased and typically operate under two modes: a fast normal mode in failure-free synchronous periods, and a slower recovery m...