12981 search results - page 2399 / 2597 » Model Checking (Abstract) |
128
Voted
TIP
2008
15 years 3 months ago
2008
Abstract--In this paper, we propose a natural framework that allows any region-based segmentation energy to be re-formulated in a local way. We consider local rather than global im...
135
Voted
TISSEC
2008
15 years 3 months ago
2008
compromised sensor nodes. The framework provides an appropriate abstraction of applicationspecific detection mechanisms and models the unique properties of sensor networks. Based o...
132
Voted
TIT
2008
15 years 3 months ago
2008
Abstract--Max-product "belief propagation" (BP) is an iterative, message-passing algorithm for finding the maximum a posteriori (MAP) assignment of a discrete probability...
119
click to vote
TIT
2008
15 years 3 months ago
2008
Abstract--This letter considers the average complexity of maximum-likelihood (ML) decoding of convolutional codes. ML decoding can be modeled as finding the most probable path take...
115
Voted
TITS
2008
15 years 3 months ago
2008
Abstract--In this paper, the implementation of genetic programming (GP) to design a controller structure is assessed. GP is used to evolve control strategies that, given the curren...