653 search results - page 116 / 131 » The Logic of Learning |
113
click to vote
OSDI
2002
ACM
16 years 2 days ago
2002
ACM
Farsite is a secure, scalable file system that logically functions as a centralized file server but is physically distributed among a set of untrusted computers. Farsite provides ...
GLVLSI
2009
IEEE
15 years 6 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
103
click to vote
FUZZIEEE
2007
IEEE
15 years 6 months ago
2007
IEEE
— The real time flexible operation of a car-like mobile robot with nonholonomic constraints in dynamic environment is still a very challenging problem. The difficulty lies in t...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
— Bayesian networks play a key role in decision support within health care. Physicians rely on Bayesian networks to give medical treatment, generate what-if scenarios, and other ...
HT
2005
ACM
15 years 5 months ago
2005
ACM
— Spatial hypertext was developed from studies of how humans deal with information overflow particularly in situations where data needed to be interpreted quickly. Intrusion det...