Sciweavers

1019 search results - page 41 / 204
» Referent Tracking and its Applications
Sort
View
SIGCOMM
2009
ACM
15 years 11 months ago
Every microsecond counts: tracking fine-grain latencies with a lossy difference aggregator
Many network applications have stringent end-to-end latency requirements, including VoIP and interactive video conferencing, automated trading, and high-performance computing—wh...
Ramana Rao Kompella, Kirill Levchenko, Alex C. Sno...
APLAS
2010
ACM
15 years 4 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
NIPS
2008
15 years 5 months ago
Tracking Changing Stimuli in Continuous Attractor Neural Networks
Continuous attractor neural networks (CANNs) are emerging as promising models for describing the encoding of continuous stimuli in neural systems. Due to the translational invaria...
C. C. Alan Fung, K. Y. Michael Wong, Si Wu
CVPR
2010
IEEE
16 years 24 days ago
Tracking the Invisible: Learning Where the Object Might be
Objects are usually embedded into context. Visual context has been successfully used in object detection tasks, however, it is often ignored in object tracking. We propose a metho...
Helmut Grabner, Jiri Matas, Philippe Cattin, Luc V...
SMC
2007
IEEE
169views Control Systems» more  SMC 2007»
15 years 10 months ago
Simulated and experimental study of antilock braking system using grey sliding mode control
— Antilock Braking System (ABS) exhibits strongly nonlinear and uncertain characteristics. To overcome these difficulties, robust control methods should be employed. In this pap...
Yesim Oniz, Erdal Kayacan, Okyay Kaynak