972 search results - page 137 / 195 » Reasoning with Conditional Time-Intervals |
SIGECOM
2006
ACM
14 years 1 months ago
2006
ACM
Our proposed methods employ learning and search techniques to estimate outcome features of interest as a function of mechanism parameter settings. We illustrate our approach with ...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Periodicity is useful for compact representation of periodic motion and a reasonable selection of a proper temporal scale for periodic motion analysis. In this paper, we concern t...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
VTS
2005
IEEE
14 years 1 months ago
2005
IEEE
Nanometer circuits are highly susceptible to soft errors generated by alpha-particle or atmospheric neutron strikes to circuit nodes. The reasons for the high susceptibility are t...
MOBICOM
2005
ACM
14 years 1 months ago
2005
ACM
Vehicular Ad Hoc Networks (VANET) have several characteristics that distinguish them from other ad hoc networks. Among those is the rapid change in topology due to traffic jams, w...