Automated geometry theorem proving.

Download

Date

1993

Author

Ede, Deniz

Metadata

Show full item record

Item Usage Stats

URI

https://hdl.handle.net/11511/11391

Collections

Suggestions

Automated kinematic analysis of spatial mechanisms using dyadic operator. Yaşar, Yusuf Ali; Department of Mechanical Engineering (1979)
Automated design of printed circuit boards. Erdem, M Tuncer; Department of Electrical Engineering (1980)
Automated building energy modeling for existing buildings using computer vision Gürsel Dino, Ipek; Sarı, Alp Eren; Kalfaoğlu, Esat; Akın, Şahin; Işeri, Orçun Koral; Kalkan, Sinan; Alatan, Abdullah Aydin; Erdoğan, Bilge (null; 2019-09-20)
Automated logic design of single and multiple output nand networks. Atli, Selami I; Department of Electrical Engineering (1972)
Automated crowd behavior analysis for video surveillance applications Güler, Püren; Temizel, Alptekin; Taşkaya Temizel, Tuğba; Department of Information Systems (2012) Automated analysis of a crowd behavior using surveillance videos is an important issue for public security, as it allows detection of dangerous crowds and where they are headed. Computer vision based crowd analysis algorithms can be divided into three groups; people counting, people tracking and crowd behavior analysis. In this thesis, the behavior understanding will be used for crowd behavior analysis. In the literature, there are two types of approaches for behavior understanding problem: analyzing behavi...

Citation Formats

D. Ede, “Automated geometry theorem proving.,” Middle East Technical University, 1993.