6020 search results - page 53 / 1204 » A New Approach to Model Counting |
117
Voted
CORR
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. This paper presents a novel formalization of optimality theory. Unlike previous treatments of optimality in computational linguistics, starting with Ellison 1994 , the n...
117
Voted
IKE
2003
15 years 5 months ago
2003
Many information retrieval systems use the inverted file as indexing structure. The inverted file, however, is not suited to supporting incremental updates when new documents are ...
117
Voted
CSSE
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper introduces an adaptive Higher Order Neural Network (HONN) model and applies it in data mining such as simulating and forecasting government taxation revenues. The propo...
116
Voted
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
146
Voted
FTCS
1997
15 years 4 months ago
1997
In this paper the consolidate identification of faults, distinguished as transient or permanent/intermittent, is approached. Transient faults discrimination has long been performe...