1054 search results - page 162 / 211 » A Formalization of the Turing Test |
ICAT
2006
IEEE
15 years 6 months ago
2006
IEEE
Today, hand-held computing and media devices are commonly used in our everyday lives. This paper assesses the viability of hand-held devices as effective platforms for “virtual r...
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
SAINT
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper focuses on decentralized personalized search engines. It is composed of three parts. Firstly, we formulate the problem and we propose a graph-based measure of quality o...
SEFM
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
ACIVS
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we propose the use of Discrete Choice Analysis (DCA) for static facial expression classification. Facial expressions are described with expression descriptive units ...