481 search results - page 52 / 97 » Validity of First-Order Knowledge Bases |
SEUS
2007
IEEE
14 years 1 months ago
2007
IEEE
Network Simulators are important tools in network research. As the selected topology often influences the outcome of the simulation, realistic topologies are required to produce re...
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
We report on an ongoing project which aims at improving the eectiveness of retrieval and accessibility of learning object within learning management systems and learning object re...
E2EMON
2006
IEEE
14 years 1 months ago
2006
IEEE
— Knowledge of link capacities is essential, e.g., for ISPs to troubleshoot paths outside the boundaries of their networks. However, the vast majority of capacity measurement too...
ICPP
2006
IEEE
14 years 1 months ago
2006
IEEE
Recently, Bloom filters have been widely used in distributed systems where they are replicated to process distributed queries. Bloom filter replicas become stale in a dynamic en...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper presents a vision-based control strategy for decentralized stabilization of unmanned vehicle (UV) formations. The key point of the algorithm is that it only requires...