1054 search results - page 121 / 211 » A Formalization of the Turing Test |
177
click to vote
UAI
2008
15 years 7 months ago
2008
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed...
137
click to vote
FUIN
2007
15 years 6 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
175
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...
163
click to vote
ACSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
As the number of system vulnerabilities multiplies in recent years, vulnerability assessment has emerged as a powerful system security administration tool that can identify vulner...
172
click to vote
DT
2000
15 years 6 months ago
2000
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...