2661 search results - page 261 / 533 » Model Checking Performability Properties |
127
Voted
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— Recently, research on disconnected networks has been fostered by several studies on delay-tolerant networks, which are designed in order to sustain disconnected operations. We ...
101
Voted
GFKL
2005
Springer
15 years 6 months ago
2005
Springer
Mining association rules is an important technique for discovering meaningful patterns in transaction databases. In the current literature, the properties of algorithms to mine ass...
86
Voted
JCNS
2010
14 years 11 months ago
2010
State space methods have proven indispensable in neural data analysis. However, common methods for performing inference in state-space models with non-Gaussian observations rely o...
111
click to vote
AAAI
2012
13 years 3 months ago
2012
Event extraction systems typically locate the role fillers for an event by analyzing sentences in isolation and identifying each role filler independently of the others. We argu...
133
Voted
CVPR
2009
IEEE
15 years 7 months ago
2009
IEEE
We formulate the problem of salient region detection in images as Markov random walks performed on images represented as graphs. While the global properties of the image are extra...