1802 search results - page 211 / 361 » Model-based Theory Combination |
ICDE
2007
IEEE
14 years 2 months ago
2007
IEEE
"Software as a service" approach has become a reality since efforts of both industry and research focused on service integration on the web. It would be possible to see ...
CLOR
2006
14 years 2 months ago
2006
Many approaches to object recognition are founded on probability theory, and can be broadly characterized as either generative or discriminative according to whether or not the dis...
CRYPTO
2006
Springer
14 years 2 months ago
2006
Springer
In the last ten years, multivariate cryptography has emerged as a possible alternative to public key cryptosystems based on hard computational problems from number theory. Notably,...
ECCV
2006
Springer
14 years 2 months ago
2006
Springer
In many image analysis applications there is a need to extract curves in noisy images. To achieve a more robust extraction, one can exploit correlations of oriented features over a...
FOSSACS
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...