Arama Sonuçları - Chanon Dechsupa

LymphAware: Domain-Aware Bias Disruption for Reliable Lymphoma Cancer AI Diagnosis Yazar: Teerapong Panboonyuen, Chanon Dechsupa

Tam Metin Erişim

An Applying Colored Petri Net for Computerized Accounting System and Ledger Accounts Instruction Yazar: Chanon Dechsupa, Wiwat Vatanawood, Worawit Poolsawasdi, Arthit Thongtak

Tam Metin Erişim

Scalable Timed-Automata Models for Traffic Light Control Systems: Challenges and Solutions in Formal Verification Yazar: Apipath Kamput, Chanon Dechsupa, Wiwat Vatanawood, Suttinan Pomsiri

Tam Metin Erişim

Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges Yazar: Chanon Dechsupa, Teerapong Panboonyuen, Wiwat Vatanawood, Praisan Padungweang, Chakchai So-In

Tam Metin Erişim