2841 search results - page 53 / 569 » A Call to Order |
AINA
2008
IEEE
15 years 4 months ago
2008
IEEE
The integration of different IP-based wireless networks, such as WiMAX and WiFi, becomes a 2-tier heterogeneous wireless networks is a more and more popular issue. In order to supp...
AIPS
2008
15 years 4 days ago
2008
We present a faster method of solving optimal planning problems and show that our solution performs up to an order of magnitude faster than Satplan on a variety of problems from t...
ISSAC
1990
Springer
15 years 1 months ago
1990
Springer
Let a system of linear ordinary differential equations of the first order Y' = AY be given, where A is n x n matrix over a field F(X), assume that the degree degx(A) < d a...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper presents a new decision diagram (DD), called MODD, for multiple output binary and multiple-valued functions. This DD is canonic and can be made minimal with respect to ...
ECAI
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...