[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Improving Dependency Pairs
- 作者Vardi, Moshe Y.; Voronkov, Andrei
- 文件大小269.34KB
- 发表时间2003
- DOI10.1007/978-3-540-39813-4_11
- 页码167-182
[Lecture Notes in Computer Science] Passive and Active Network Measurement Volume 3015 ||Barakat, Chadi; Pratt, Ian · 2004
[Lecture Notes in Computer Science] Passive and Active Network Measurement Volume 3015 || Flow Clustering Using Machine Learning TechniquesBarakat, Chadi; Pratt, Ian · 2004
[Lecture Notes in Computer Science] Passive and Active Network Measurement Volume 3015 || Reordering of IP Packets in InternetBarakat, Chadi; Pratt, Ian · 2004
[Lecture Notes in Computer Science] Passive and Active Network Measurement Volume 3015 || Searching for Self-Similarity in GPRSBarakat, Chadi; Pratt, Ian · 2004
[Lecture Notes in Computer Science] Passive and Active Network Measurement Volume 3015 || Geometric Exploration of the Landmark Selection ProblemBarakat, Chadi; Pratt, Ian · 2004
[Lecture Notes in Computer Science] Passive and Active Network Measurement Volume 3015 || Performance Measurement and Analysis of H.323 TrafficBarakat, Chadi; Pratt, Ian · 2004
[Lecture Notes in Computer Science] Passive and Active Network Measurement Volume 3015 || Toward a Measurement-Based Geographic Location ServiceBarakat, Chadi; Pratt, Ian · 2004