70 search results - page 1 / 14 » On Generalizations of Semi-terms of Particularly Simple Form |
58
Voted
CSL
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. We show that Gentzen's sequent calculus admits generalization of semi-terms of particularly simple form. This theorem extends one of the main results in [BS95] to la...
92
Voted
AAAI
1994
14 years 10 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
GLOBECOM
2006
IEEE
15 years 3 months ago
2006
IEEE
— We propose in this paper a simple receiver adapted to Multi User Interferences (MUI) in Impulse Radio Ultra Wide Band (IR-UWB). It is known that MUI distribution is not Gaussia...
TROB
2010
14 years 4 months ago
2010
The property of form-closure of a grasp, as generally defined in the literature, is based on the assumption that contact points between the hand and the object are fixed in space. ...
79
Voted
IJAR
2008
14 years 9 months ago
2008
Abstract. There exist several simple representations of uncertainty that are easier to handle than more general ones. Among them are random sets, possibility distributions, probabi...