| ชื่อเรื่อง | : | Simplifying query-answering problems by unfolding |
| นักวิจัย | : | Akama, Kiyoshi , Ekawit Nantajeewarawat |
| คำค้น | : | Equivalent transformation , Query-answering problems , Unfolding transformation , Problem solving , Computer vision , Image analysis , Existential quantifications |
| หน่วยงาน | : | สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2555 |
| อ้างอิง | : | Proceedings of SPIE - The International Society for Optical Engineering. 8350 (2012) Art. no. 835033 , 9780819490261 , 0277-786X , http://dspace.library.tu.ac.th/handle/3517/6526 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | To convert a first-order formula containing an existential quantification into an equivalent clausal normal form, it is necessary to introduce function variables and accordingly extend the space of first-order formulas. This paper proposes unfolding transformation in such an extended formula space and demonstrates how it is employed to simplify queryanswering problems. The presented work provides a foundation for constructing a correct method for solving queryanswering problems that include unrestricted use of universal and existential quantifications. © 2012 Copyright Society of Photo-Optical Instrumentation Engineers (SPIE). |
| บรรณานุกรม | : |
Akama, Kiyoshi , Ekawit Nantajeewarawat . (2555). Simplifying query-answering problems by unfolding.
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Akama, Kiyoshi , Ekawit Nantajeewarawat . 2555. "Simplifying query-answering problems by unfolding".
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Akama, Kiyoshi , Ekawit Nantajeewarawat . "Simplifying query-answering problems by unfolding."
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ , 2555. Print. Akama, Kiyoshi , Ekawit Nantajeewarawat . Simplifying query-answering problems by unfolding. กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ ; 2555.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
