4352 search results - page 354 / 871 » A Representation Theorem and Applications |
241
click to vote
AIIA
2005
Springer
16 years 1 months ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
165
click to vote
CRYPTO
2005
Springer
16 years 1 months ago
2005
Springer
We investigate methods for providing easy-to-check proofs of computational effort. Originally intended for discouraging spam, the concept has wide applicability as a method for co...
189
click to vote
JCDL
2004
ACM
16 years 1 months ago
2004
ACM
This paper describes ongoing research into the application of machine learning techniques for improving access to governmental information in complex digital libraries. Under the ...
224
click to vote
JELIA
2004
Springer
16 years 28 days ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
203
click to vote
ACSD
2003
IEEE
16 years 26 days ago
2003
IEEE
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...