ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

Simplifying query-answering problems by unfolding

หน่วยงาน สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์

รายละเอียด

ชื่อเรื่อง : 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.