13026 search results - page 2244 / 2606 » Probabilistic Relational Models |
151
click to vote
IEEEIAS
2008
IEEE
15 years 11 months ago
2008
IEEE
Information assurance in critical infrastructure is an issue that has been addressed generally focusing on real-time or quasi real-time monitoring of the critical infrastructure; ...
120
click to vote
IJCNN
2008
IEEE
15 years 11 months ago
2008
IEEE
— The process of segmenting images is one of the most critical ones in automatic image analysis whose goal can be regarded as to find what objects are presented in images. Artifi...
175
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
SIMD (single instruction multiple data)-type processors have been found very efficient in image processing applications, because their repetitive structure is able to exploit the...
153
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
129
click to vote
NOMS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—We study the problem of dynamic resource allocation to clustered Web applications. We extend application server middleware with the ability to automatically decide the s...