4403 search results - page 53 / 881 » Galois Theory of Algorithms |
286
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
147
Voted
FOCS
2008
IEEE
16 years 17 days ago
2008
IEEE
We give near-optimal sketching and streaming algorithms for estimating Shannon entropy in the most general streaming model, with arbitrary insertions and deletions. This improves ...
164
click to vote
IJCNN
2008
IEEE
16 years 15 days ago
2008
IEEE
Abstract— Adaptive Resonance Theory (ART) is an unsupervised neural network. Fuzzy ART (FART) is a variation of ART, allows both binary and continuous input patterns. However, Fu...
153
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- We present fast algorithms to synthesize exact minimal reversible circuits for various types of gates and costs. By reducing reversible logic synthesis problems to group theory p...
145
click to vote
CCCG
2008
15 years 7 months ago
2008
This paper builds a general mathematical and algorithmic theory for balloon-twisting structures, from balloon animals to balloon polyhedra, by modeling their underlying graphs (ed...