Sciweavers

1711 search results - page 268 / 343
» Completing pseudojump operators
Sort
View
GLOBECOM
2008
IEEE
13 years 8 months ago
Channel Modeling of Wireless Networks in Tunnels
The propagation characteristics of electromagnetic (EM) waves in tunnels are significantly different from those in terrestrial environment. However, the current tunnel channel mode...
Zhi Sun, Ian F. Akyildiz
CCR
2010
102views more  CCR 2010»
13 years 8 months ago
Internet-scale IP alias resolution techniques
The well-known traceroute probing method discovers links between interfaces on Internet routers. IP alias resolution, the process of identifying IP addresses belonging to the same...
Ken Keys
ENTCS
2008
102views more  ENTCS 2008»
13 years 8 months ago
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
Alexander Kurz, Daniela Petrisan
CGF
2006
177views more  CGF 2006»
13 years 8 months ago
Direct (Re)Meshing for Efficient Surface Processing
We propose a novel surface remeshing algorithm. While many remeshing algorithms are based on global parametrization or local mesh optimization, our algorithm is closely related to...
John M. Schreiner, Carlos Eduardo Scheidegger, Sha...
CI
2006
94views more  CI 2006»
13 years 8 months ago
Against Optimality: Logical Foundations for Decision-Theoretic Planning in Autonomous Agents
This paper investigates decision-theoretic planning in sophisticated autonomous agents operating in environments of real-world complexity. An example might be a planetary rover ex...
John L. Pollock