3502 search results - page 485 / 701 » From Machine Learning to Machine Reasoning |
184
click to vote
AI
2009
Springer
16 years 1 months ago
2009
Springer
This paper shows that a detailed, although non-emotional, description of event or an action can be a reliable source for learning opinions. Empirical results show the practical uti...
154
click to vote
DEXAW
2008
IEEE
16 years 1 months ago
2008
IEEE
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
179
click to vote
TPHOL
2008
IEEE
16 years 28 days ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
135
click to vote
OOPSLA
2007
Springer
16 years 20 days ago
2007
Springer
ose of the JVM is to abstract the Java language from the hardware and software platforms it runs on. For this reason, the JVM uses services offered by the host operating system in...
151
click to vote
TPHOL
2006
IEEE
16 years 16 days ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...