Sciweavers

1325 search results - page 7 / 265
» A Scaling Result for Explosive Processes
Sort
View
DAGM
2004
Springer
15 years 5 months ago
Scale-Invariant Object Categorization Using a Scale-Adaptive Mean-Shift Search
The goal of our work is object categorization in real-world scenes. That is, given a novel image we want to recognize and localize unseen-before objects based on their similarity t...
Bastian Leibe, Bernt Schiele
CORR
2006
Springer
105views Education» more  CORR 2006»
14 years 11 months ago
Capacity Results for Block-Stationary Gaussian Fading Channels with a Peak Power Constraint
Abstract--A peak-power-limited single-antenna block-stationary Gaussian fading channel is studied, where neither the transmitter nor the receiver knows the channel state informatio...
Jun Chen, Venugopal V. Veeravalli
INFOCOM
2012
IEEE
13 years 2 months ago
Secure top-k query processing via untrusted location-based service providers
Abstract—This paper considers a novel distributed system for collaborative location-based information generation and sharing which become increasingly popular due to the explosiv...
Rui Zhang 0007, Yanchao Zhang, Chi Zhang
JSS
1998
85views more  JSS 1998»
14 years 11 months ago
Comparative study and categorization of high-level petri nets
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
Vasilis C. Gerogiannis, Achilles Kameas, Panayioti...
104
Voted
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
13 years 7 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...