1054 search results - page 82 / 211 » A Formalization of the Turing Test |
148
click to vote
SFM
2007
Springer
15 years 10 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
119
click to vote
IFL
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
120
click to vote
FORTE
2007
15 years 6 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
120
click to vote
JISBD
2001
15 years 6 months ago
2001
In this paper we show how the formal specification of a system written in Maude can be easily connected to its Web-based distributed implementation using SOAP. In addition to the u...
131
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present a new approximation in Natural Language Processing (nlp) aimed at knowledge representation and acquisition using a formal syntactic frame. In practice, we...