6020 search results - page 871 / 1204 » A New Approach to Model Counting |
187
click to vote
DLT
2003
15 years 8 months ago
2003
Past proposals for applying to pictures or 2D languages the generative grammar approach do not match in our opinion the elegance and descriptive adequacy that made Context Free gr...
179
click to vote
LWA
2004
15 years 8 months ago
2004
This paper discusses ongoing work towards a theoretical basis intended to facilitate the development of self-regulating adaptive systems. Self-regulation refers to the capacity of...
160
click to vote
EFDBS
2003
15 years 8 months ago
2003
Mediators are considered basic architectural units for integration of distributed, heterogeneous information resources. In the paper we propose powerful virtual updateable views as...
186
click to vote
NIPS
2001
15 years 8 months ago
2001
We present a new approach to the supervised learning of lateral interactions for the competitive layer model (CLM) dynamic feature binding architecture. The method is based on con...
212
Voted
NIPS
2001
15 years 8 months ago
2001
The support vector machine (SVM) is known for its good performance in binary classification, but its extension to multi-class classification is still an on-going research issue. I...