Sciweavers

7335 search results - page 991 / 1467
» Scene Based Reasoning
Sort
View
LICS
2008
IEEE
16 years 1 months ago
Cut Elimination for Monomial MALL Proof Nets
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...
Olivier Laurent, Roberto Maieli
WACV
2008
IEEE
16 years 1 months ago
Location-based Services using Image Search
Recent developments in image search has made them sufficiently efficient to be used in real-time applications. GPS has become a popular navigation tool. While GPS information pr...
Pieter-Paulus Vertongen, Dan Witzner Hansen
AIMS
2008
Springer
16 years 1 months ago
Dynamic Consistency Analysis for Convergent Operators
It has been shown that sets of convergent operators with a shared fixed point can simulate autonomic control mechanisms, but many questions remain about this management technique....
Alva L. Couch, Marc Chiarini
BROADNETS
2007
IEEE
16 years 1 months ago
Improving VoIP call capacity over IEEE 802.11 networks
— The expected VoIP call capacity in a one hop IEEE 802.11b network with G.711 voice codec is about 85 simultaneous calls, but the actual observed capacity is only 5 calls even a...
Yeonsik Jeong, Sandeep Kakumanu, Cheng-Lin Tsao, R...
CVPR
2007
IEEE
16 years 1 months ago
A Minutiae-based Fingerprint Individuality Model
Fingerprint individuality study deals with the crucial problem of the discriminative power of fingerprints for recognizing people. In this paper, we present a novel fingerprint in...
Jiansheng Chen, Yiu Sang Moon