2611 search results - page 79 / 523 » A Logic for Concepts and Similarity |
139
click to vote
COMPUTER
2002
15 years 1 months ago
2002
ectly support interaction with abstraction. Using technologies that go beyond searching individual repositories to analyzing and correlating knowledge across multiple sources and s...
216
click to vote
POPL
2006
ACM
16 years 1 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
116
click to vote
JCDL
2010
ACM
15 years 6 months ago
2010
ACM
The“wisdom of crowds”is accomplishing tasks that are cumbersome for individuals yet cannot be fully automated by means of specialized computer algorithms. One such task is the...
143
click to vote
JELIA
2010
Springer
15 years 2 days ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
107
click to vote
SCS
2003
15 years 3 months ago
2003
The decomposition of complex systems into manageable parts is an essential principle when dealing with complex technical systems. However, many safety and reliability modelling te...