2 citations
3 papers
cs.CV2026★ 2 cited
Vision-Language Assistant for Emotional Reactions to Risky Driving
Harine Choi, Eun Hak Lee, Zhengzhong Tu
This study introduces a vision-language pipeline that detects risky driving behaviors and generates emotionally expressive responses to support driver awareness and comfort. Althou…
cs.NE2021★ 1 cited
Self-Referential Quality Diversity Through Differential Map-Elites
Tae Jong Choi, Julian Togelius
Differential MAP-Elites is a novel algorithm that combines the illumination capacity of CVT-MAP-Elites with the continuous-space optimization capacity of Differential Evolution. Th…
cs.FL2010
A proof Procedure for Testing Membership in Regular Expressions
Keehang Kwon, Hong Pyo Ha, Jiseung Kim
We propose an algorithm that test membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The a…