2841 search results - page 53 / 569 » A Call to Order |
191
click to vote
AINA
2008
IEEE
16 years 1 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...
172
click to vote
AIPS
2008
15 years 9 months 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...
158
click to vote
ISSAC
1990
Springer
15 years 10 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...
153
click to vote
DATE
2004
IEEE
15 years 10 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 ...
179
click to vote
ECAI
2000
Springer
15 years 10 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...