1054 search results - page 129 / 211 » A Formalization of the Turing Test |
214
click to vote
TC
2010
15 years 1 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
160
click to vote
CTRSA
2012
Springer
14 years 2 months ago
2012
Springer
We analyse and exploit implementation features in OpenSSL version 0.9.8g which permit an attack against ECDH-based functionality. The attack, although more general, can recover the...
284
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
Traditionally, query processing gets a query and a database instance as input and returns the result of the query for that particular database instance. Reverse query processing (...
192
click to vote
ICIP
2007
IEEE
16 years 7 months ago
2007
IEEE
In this paper we propose a new approach of the two-image alignment problem based on a functional representation of images. This allows us to derive a one-to-several correspondence,...
165
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
In cancer treatment, understanding the aggressiveness of the tumor is essential in therapy planning and patient follow-up. In this article, we present a novel method for quantifyin...