1054 search results - page 99 / 211 » A Formalization of the Turing Test |
210
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
—Data trees are trees in which each node, besides carrying a label from a finite alphabet, also carries a data value infinite domain. They have been used as an abstraction mode...
203
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
126
click to vote
CDC
2008
IEEE
16 years 27 days ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...
163
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
165
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...