2007 |
11 | EE | Eun-Young Kang,
Stephan Merz:
Predicate diagrams for the verification of real-time systems.
Formal Asp. Comput. 19(3): 401-413 (2007) |
2006 |
10 | | Russ Abbott,
Vladimir Akis,
Valentino Crespi,
Huiping Guo,
Jiang Guo,
Eun-Young Kang,
Raj Pamula,
Behzad Parviz,
Chengyu Sun:
Continuous improvement of the Computer Science Undergraduate Program at CSULA.
FECS 2006: 314-320 |
9 | | Charles Ritchey,
Russ Abbott,
Eun-Young Kang:
Measuring with Jugs: A Solution in Finite Domain.
IC-AI 2006: 748-752 |
8 | | Albert Cervantes,
Eun-Young Kang:
Progressive Multi-image Registration based on Feature Tracking.
IPCV 2006: 633-639 |
7 | EE | Eun-Young Kang,
Stephan Merz:
Predicate Diagrams for the Verification of Real-Time Systems.
Electr. Notes Theor. Comput. Sci. 145: 151-165 (2006) |
2004 |
6 | | Eun-Young Kang,
Isaac Cohen,
Gérard G. Medioni:
A robust and non-iterative estimation method of multiple 2d motions.
ICIP 2004: 3367-3370 |
5 | | Eun-Young Kang,
Isaac Cohen,
Gérard G. Medioni:
A layer extraction system based on dominant motion estimation and global registration.
ICME 2004: 551-554 |
4 | EE | Eun-Young Kang,
Isaac Cohen,
Gérard G. Medioni:
Non-Iterative Approach to Multiple 2D Motion Estimation.
ICPR (4) 2004: 791-794 |
3 | EE | Eun-Young Kang:
Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation.
ICSE 2004: 39-41 |
2002 |
2 | EE | Eun-Young Kang,
Isaac Cohen,
Gérard G. Medioni:
Robust Affine Motion Estimation in Joint Image Space Using Tensor Voting.
ICPR (4) 2002: 256-259 |
2000 |
1 | EE | Eun-Young Kang,
Isaac Cohen,
Gérard G. Medioni:
A Graph-Based Global Registration for 2D Mosaics.
ICPR 2000: 1257-1260 |