5158 search results - page 171 / 1032 » Generalization of the Dempster-Shafer Theory |
RTA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
ISSAC
2007
Springer
14 years 4 months ago
2007
Springer
Constructing some regular graph with a given girth, a given degree and the fewest possible vertices is a hard problem. This problem is called the cage graph problem and has some l...
ITICSE
2006
ACM
14 years 4 months ago
2006
ACM
This paper describes Threshold Concepts, a theory of learning that distinguishes core concepts whose characteristics can make them troublesome in learning. With an eye to applying...
AMIRE
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents two strategies for selecting volitional facial expressions and gaze behaviors of animated agents, in the case of Online Negotiation and Soft Game Theory. It is ...
EMSOFT
2005
Springer
14 years 3 months ago
2005
Springer
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...