4592 search results - page 291 / 919 » Framework for Studying Substitution |
166
Voted
CONEXT
2007
ACM
15 years 11 months ago
2007
ACM
Disparate algorithms are being designed to decide certain basic questions in opportunistic networks. This position paper describes a nascent idea that aims to provide a single fra...
158
Voted
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
This study shows the derivation of a local segmented bus arbiter from an original single segment bus arbiter. The operations are performed in the formal framework of action system...
162
Voted
EUSFLAT
2007
15 years 9 months ago
2007
We study the notion of conditional relative importance in a quantitative framework. This is an important notion in the context of the Choquet integral since this latter is usually...
149
click to vote
IJCAI
1993
15 years 8 months ago
1993
This paper explores different techniques for explanation within the framework of the situation calculus, using the so-called stolen car problem as its main example. Two approaches...
171
Voted
COMGEO
2010
ACM
15 years 7 months ago
2010
ACM
We use Bernstein's Theorem [1] to obtain combinatorial bounds for the number of embeddings of Laman graph frameworks modulo rigid motions. For this, we study the mixed volume...