274 search results - page 36 / 55 » Weighted Automata and Weighted Logics |
TLCA
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
AWCC
2004
Springer
14 years 27 days ago
2004
Springer
This paper imports the fuzzy logic into image retrieval to deal with the vagueness and ambiguity of human judgment of image similarity. Our retrieval system has the following prop...
HIM
1997
Springer
13 years 11 months ago
1997
Springer
Classical retrieval models support content-oriented searching for documents using a set of words as data model. However, in hypertext and database applications we want to consider...
ICTAI
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper describes an attempt to devise a knowledge discovery model that is inspired from the two theoretical frameworks of selectionism and constructivism in human cognitive le...
FPL
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we present the design and implementation of a dynamically reconfigurable system for packet queue scheduling. Two widely accepted queue schedulers have been implement...