827 search results - page 102 / 166 » Patterns for Timed Property Specifications |
161
click to vote
BIOSIG
2003
15 years 4 months ago
2003
: Speaker recognition in applications of our daily lives is not yet in widespread use. In order for biometric technology to make sense for real-world authentication applications an...
138
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
We address the consensus-based distributed linear filtering problem, where a discrete time, linear stochastic process is observed by a network of sensors. We assume that the consen...
130
click to vote
LCN
2008
IEEE
15 years 9 months ago
2008
IEEE
—Providing energy-efficient continuous data collection services is of paramount importance to Wireless Sensor Network (WSN) applications. This paper proposes a new power manageme...
155
click to vote
SIROCCO
2010
15 years 4 months ago
2010
We consider asynchronous message-passing systems in which some links are timely and processes may crash. Each run defines a timeliness graph among correct processes: (p, q) is an e...
124
click to vote
AAAI
2006
15 years 4 months ago
2006
Coordinating multiple agents that need to perform a sequence of actions to maximize a system level reward requires solving two distinct credit assignment problems. First, credit m...