✦ LIBER ✦

Detection of object abandonment using temporal logic

✍ Scribed by Medha Bhargava; Chia-Chih Chen; M. S. Ryoo; J. K. Aggarwal

Publisher: Springer-Verlag
Year: 2009
Tongue: English
Weight: 675 KB
Volume: 20
Category: Article
ISSN: 0932-8092
DOI: 10.1007/s00138-008-0181-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Has Mr. Flew abandoned “The logic of ord

Has Mr. Flew abandoned “The logic of ordinary use”?

✍ Paul W. Kurtz 📂 Article 📅 1958 🏛 Springer Netherlands 🌐 English ⚖ 375 KB

Formalization of UML state machines usin

Formalization of UML state machines using temporal logic

✍ Carlos Rossi; Manuel Enciso; Inmaculada P. de Guzmán 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 777 KB

Automatic verification of sequential con

Automatic verification of sequential control systems using temporal logic

✍ Il Moon; Gary J. Powers; Jerry R. Burch; Edmund M. Clarke 📂 Article 📅 1992 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 806 KB

Simplification of Space-Variant Parallel

Simplification of Space-Variant Parallel Logic Operations Using the Temporal Method

✍ Yoshio Hayasaki; Masahiko Mori; Toyohiko Yatagai; Nobuo Nishida 📂 Article 📅 1997 🏛 Optical Society of Japan 🌐 English ⚖ 508 KB

Detection of ridges and ravines using fu

Detection of ridges and ravines using fuzzy logic operations

✍ Kyoung Min Kim; Joong Jo Park; Myung Hyun Song; In Cheol Kim; Ching Y Suen 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 649 KB

Backpack: Detection of People Carrying O

Backpack: Detection of People Carrying Objects Using Silhouettes

✍ Ismail Haritaoglu; Ross Cutler; David Harwood; Larry S. Davis 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 609 KB

We describe a video-rate surveillance algorithm for determining whether people are carrying objects or moving unencumbered from a stationary camera. The contribution of the paper is the shape analysis algorithm that both determines whether a person is carrying an object and segments the object from