207 search results - page 3 / 42 » Linear Forwarders |
TIME
1999
IEEE
13 years 10 months ago
1999
IEEE
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...
AUTOMATICA
1999
13 years 6 months ago
1999
In this paper we study the well-posedness (existence and uniqueness of solutions) of linear relay systems with respect to two di erent solution concepts, Filippov solutions and fo...
TWC
2008
13 years 6 months ago
2008
In this paper, we provide a complete study on the training based channel estimation issues for relay networks that employ the amplify-and-forward (AF) transmission scheme. We first...
MOBIHOC
2008
ACM
14 years 5 months ago
2008
ACM
Mobile opportunistic networks are characterized by unpredictable mobility, heterogeneity of contact rates and lack of global information. Successful delivery of messages at low co...
CADE
2006
Springer
14 years 6 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...