3416 search results - page 596 / 684 » Can Machines Learn Logics |
111
click to vote
DAC
1997
ACM
15 years 5 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
84
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
112
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
Screen readers, the dominant assistive technology used by visually impaired people to access the Web, function by speaking out the content of the screen serially. Using screen rea...
105
Voted
KDD
2004
ACM
16 years 1 months ago
2004
ACM
There has historically been very little concern with extrapolation in Machine Learning, yet extrapolation can be critical to diagnose. Predictor functions are almost always learne...
86
Voted
BMCBI
2007
15 years 24 days ago
2007
Background: Support Vector Machines (SVMs) provide a powerful method for classification (supervised learning). Use of SVMs for clustering (unsupervised learning) is now being cons...