1054 search results - page 191 / 211 » A Formalization of the Turing Test |
100
click to vote
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
CPHYSICS
2008
14 years 12 months ago
2008
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...
FAC
2006
14 years 12 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
JCB
2006
14 years 11 months ago
2006
Biological signaling networks comprise the chemical processes by which cells detect and respond to changes in their environment. Such networks have been implicated in the regulati...
118
click to vote
JCB
2006
14 years 11 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...