Showing results 10841 to 10860 of 15971
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance Allen, Eric; Hilburn, Justin; Kilpatrick, Scott; Luchangco, Victor; Ryu, Sukyoung; Chase, David; Steele, Guy, Proceedings of the ACM international conference on Object oriented programming systems languages and applications, pp.973 - 992, ACM SIGPLAN, 2011-10-27 |
Type inference and lattice validation for program-analysis specifications = 프로그램 분석 명세의 타입 유추 및 래티스 타입 정의의 오류 검사link Kim, You-Il; 김유일; et al, 한국과학기술원, 2003 |
Type-level access pattern view: Enhancing prefetching performance using the iterative and recursive patterns Han, Wook-Shin; Loh, Woong-Kee; Whang, Kyu-Young, INFORMATION SCIENCES, v.180, no.21, pp.4118 - 4135, 2010-11 |
Typestate protocol specification in JML Kim, Taekgoo; Bierhoff, Kevin; Aldrich, Jonathan; Kang, Sungwon, 8th International Workshop on Specification and Verification of Component-Based Systems, SAVCBS'09, Co-located with the 7th ESEC/FSE Joint Meeting, ESEC-FSE'09, pp.11 - 18, Association for Computing Machinery (ACM), 2009-08-25 |
Typing on a smartwatch for smart glasses Ahn, Sunggeun; Heo, Seongkook; Lee, Geehyuk, 2017 ACM International Conference on Interactive Surfaces and Spaces, ISS 2017, pp.201 - 209, Association for Computing Machinery, Inc, 2017-10-20 |
Typing on a touch surface: Effect of feedback with horizontal touch keyboard and vertical display setup Kim, Sunjun; Lee, Geehyuk, ICIC EXPRESS LETTERS, v.6, no.12, pp.2973 - 2980, 2012 |
Typing on a Touch Surface: Effect of Feedback with Horizontal Touch Keyboard and Vertical Display Setup Kim, Sunjun; Lee, Geehyuk, The 10th Asia Pacific Conference on Computer Human Interaction, pp.525 - 530, Human Centered Design Organization and ACM, 2012-08-30 |
u-City에서 센서네트워크에 기반을 둔 자녀 안심서비스의 보안요구사항 분석 및 시스템 제안 김장성; 유명한; 김광조, CISC-S'09, pp.374 - 380, 한국정보보호학회, 2009-06-05 |
U-Health 서비스 구축을 위한 온톨로지 관리기 및 서비스 브로커의 설계 고인영; 전범준, 한국정보보호학회지, v.17, no.1, pp.22 - 32, 2007-02 |
U-Health 서비스를 위한 위키 기반의 협업적 온톨로지 관리 프레임워크 임성국; 고인영, 한국정보과학회 제35회 추계학술대회, 한국정보과학회, 2008-10-24 |
U-Net-based viscosity solver for incompressible newtonian fluids = 비압축성 뉴턴 유체를 위한 U-Net 기반의 점성 해석link Park, Wonjung; Park, Jinah; et al, 한국과학기술원, 2022 |
u-SPACE: 육아 보조 및 맞춤 교육을 위한 유비쿼터스 시스템 Min, Hye-Jin; Park, Doojin; Chang, Eunyoung; Lee, Ho-Joon; Park, Jong Cheol, HCI 학술대회, pp.94 - 102, HCI 학술대회, 2006-02-01 |
UART의 에뮬레이션과 가상화 플랫폼의 연동을 통한 실행시간 예측 = Estimation of execution time through UART emulation and virtualization platform interworkinglink 노정민; 신인식; et al, 한국과학기술원, 2019 |
UAV를 이용한 무인정찰 센서 네트워크 플랫폼 구현 이상수; 박노성; 박지훈; 민롱팜; Ozturk, F; 김대영; Bui, D.B., 정보과학회 춘계학술발표대회, pp.0 - 0, 한국정보과학회, 2003-01 |
UBC protocol testing environment, Protocol Test Systems S.T. Chanson; H. Dany; Kim, Myungchul, PROTOCOL TEST SYSTEMS VI, v.C-19, pp.215 - 230, 1993-01 |
UbiGraphy: A third-person viewpoint life log Lee, Seunghwan; Kim, Hojin; Lee, Geehyuk, 28th Annual CHI Conference on Human Factors in Computing Systems, pp.3531 - 3536, ACM SIGCHI, 2008-04-05 |
Ubiquitous healthcare: Technology and service Kim, Y.B.; Yoo, S.K.; Kim, Daeyoung, STUDIES IN COMPUTATIONAL INTELLIGENCE, v.19, no.0, pp.1 - 35, 2006 |
Ubiquitous Robots with Emotion for Smart Home Environments MaríaJosé Acosta; 최호진, 소프트웨어공학회지, v.20, no.3, pp.27 - 35, 2007-09 |
UbiRo: An interactive device supporting object registration and recognition of service robots Sohn, Byungkon; Lee, Geehyuk, RO-MAN 2006 - The 15th IEEE International Symposium on Robot and Human Interactive Communication, pp.437 - 442, 2006-09-06 |
Ubiscript: A Script Language for Ubiquitous Environment Lee, Minkyu; Han, Dong-Soo, Journal of Computing Science and Engineering, v.5, no.2, pp.141 - 149, 2011-06 |
Discover