4211 search results - page 267 / 843 » Types as Abstract Interpretations |
174
click to vote
LPKR
1997
Springer
15 years 10 months ago
1997
Springer
In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation. We have observed that two different typ...
136
click to vote
ICARIS
2007
Springer
15 years 10 months ago
2007
Springer
The idiotypic network has a long and chequered history in both theoretical immunology and Artificial Immune Systems. In terms of the latter, the drive for engineering applications ...
148
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
Facial movements play an important role in interpreting spoken conversations and emotions. There are several types of movements, such as conversational signals, emotion displays, ...
181
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Functional genomics is a typical scientific discovery domain characterized by a very large number of attributes (genes) relative to the number of examples (observations). The dang...
154
click to vote
DIAL
2006
IEEE
15 years 10 months ago
2006
IEEE
Statistical classification methods can be applied on images of historical manuscript in order to characterize the various kinds of inks used. As these methods do not require destr...