1054 search results - page 125 / 211 » A Formalization of the Turing Test |
171
click to vote
ESORICS
2007
Springer
16 years 15 days ago
2007
Springer
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
142
click to vote
SAS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
197
click to vote
CVPR
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper describes a general methodology for automated recognition of complex human activities. The methodology uses a context-free grammar (CFG) based representation scheme to ...
144
click to vote
KCAP
2005
ACM
15 years 12 months ago
2005
ACM
In order to evaluate the performance of ontology matching algorithms it is necessary to confront them with test ontologies and to compare the results. The most prominent criteria ...
137
click to vote
AIED
2005
Springer
15 years 12 months ago
2005
Springer
Politeness may play a role in tutorial interaction, including promoting learner motivation and avoiding negative affect. Politeness theory can account for this as a means of mitiga...