1236 search results - page 105 / 248 » On the Hamkins approximation property |
149
click to vote
PODS
2003
ACM
16 years 6 months ago
2003
ACM
In recent years, the problem of indexing mobile objects has assumed great importance because of its relevance to a wide variety of applications. Most previous results in this area...
159
click to vote
ICFEM
2009
Springer
16 years 27 days ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
194
click to vote
ANSS
2008
IEEE
16 years 24 days ago
2008
IEEE
Understanding mobility characteristics is important for the design and analysis of routing schemes for mobile ad hoc networks (MANETs). This is especially true for mobile opportun...
211
click to vote
WIMOB
2007
IEEE
16 years 17 days ago
2007
IEEE
In this paper, ranging process in IEEE 802.16e OFDMA systems is analyzed and performance is evaluated. Ranging process provides initial network entry, uplink synchronization, and ...
147
click to vote
SEMWEB
2007
Springer
16 years 13 days ago
2007
Springer
Abstract The most common matching applications, e.g., ontology matching, focus on the computation of the correspondences holding between the nodes of graph structures (e.g., concep...