1054 search results - page 42 / 211 » A Formalization of the Turing Test |
133
click to vote
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
In this paper we investigate the object-oriented notion of subtyping in the context of behavioural formalisms. Subtyping in OOformalisms is closely related to the concept of inheri...
124
click to vote
WSC
2007
15 years 6 months ago
2007
This article deals with an approach for managing scheduling in semiconductor manufacturing facilities. The proposed approach ensures consistency between global and local schedulin...
135
click to vote
ISIM
2007
15 years 5 months ago
2007
One of the main problems connected with the formal concept analysis and lattice construction is the high complexity of algorithms which plays a significant role when computing all ...
175
click to vote
CIBSE
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
153
click to vote
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...