3384 search results - page 487 / 677 » More Testable Properties |
MMNS
2003
13 years 11 months ago
2003
Transport protocol for supporting multimedia streaming in mobile ad hoc networks has to cope with the rich dynamics, including mobility-induced disconnection, reconnection, and hig...
NIPS
2003
13 years 11 months ago
2003
Many problems in information processing involve some form of dimensionality reduction. In this paper, we introduce Locality Preserving Projections (LPP). These are linear projecti...
AAAI
2000
13 years 11 months ago
2000
The random k-SAT model is extensively used to compare satisfiability algorithms or to find the best settings for the parameters of some algorithm. Conclusions are derived from the...
AIPS
2000
13 years 11 months ago
2000
We describe in this paper a new method for extracting knowledge on Hierarchical Task-Network (HTN) planning problems for speeding up the search. This knowledge is gathered by prop...
HPN
1998
13 years 11 months ago
1998
With the grown popularity of the Internet and the increasing use of business and multimedia applications the users' demand for higher and more predictable quality of service ...