12697 search results - page 163 / 2540 » Call for Papers |
165
click to vote
RSFDGRC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
141
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
161
click to vote
DSOM
2004
Springer
15 years 12 months ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
158
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents a new decentralized method for selecting visual landmarks in a structured environment. Different images, issued from the different places, are analyze...
168
click to vote
ESTIMEDIA
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a structured application design trajectory to transform media-processing applications— modeled as Kahn process network—into a set of functionspecific hardw...