Showing results 9981 to 10000 of 16012
SPIN++를 이용한 병렬 객체 모델의 검증 = Concurrent object model verification using SPIN++link 조웅희; Cho, Woong-Hee; et al, 한국과학기술원, 1999 |
SPIN++를 이용한 병렬객체모델의 검증 권용래, 한국정보과학회 학술발표논문집, 1998 |
SpinRadar: a spontaneous service provision middleware for place-aware social interactions Kim, Byoungoh; Kim, Taehun; Lee, DongMan; Hyun, SoonJoo, PERSONAL AND UBIQUITOUS COMPUTING, v.18, no.2, pp.413 - 426, 2014-02 |
SPIN으로부터 생성된 반례의 축소 및 시각화 기법 = Compaction and visualization of SPINs counterexamplelink 신모범; Shin, Mo-Bum; et al, 한국과학기술원, 2007 |
SPIRIT-mKernel for Strongly Partitioned Real Time Systems Kim, Daeyoung; Lee, YH; Younis, M, IEEE International Conference on Real-Time Computing Systems and Applications, pp.0 - 0, 2000-12 |
SPJ 실체화 뷰의 효율적인 점진적 관리 기법 이기용; 손진현; 김명호, 정보처리학회논문지 (D), v.13, no.6, pp.797 - 806, 2006-10 |
Split Multipath Routing with Maximally Disjoint Paths in Ad hoc Networks Lee, Sung-Ju; Gerla, Mario, The IEEE International Conference on Communications (ICC 2001), IEEE, 2001-06-11 |
Split vector quantization of LSF parameters with minimum of dLSF constraint Kim, SJ; Oh, Yung-Hwan, IEEE SIGNAL PROCESSING LETTERS, v.6, no.9, pp.227 - 229, 1999-09 |
Split-n-Save: Path Multiplexing in Wireless Ad Hoc Routing Cha, M; Lee, DK; Moon, Sue Bok, IEEE INFOCOM Student Workshop, pp.0 - 0, IEEE, 2005-03 |
SplitBoard: A Simple Split Soft Keyboard for Wristwatch-sized Touch Screens Hong, Jonggi; Heo, Seongkook; Poika Isokoski; Lee, Geehyuk, CHI 2015, ACM Special Interest Group on Computer-Human Interaction (SIGCHI), 2015-04-21 |
SplitNet: Learning to Semantically Split Deep Networks for Parameter Reduction and Model Parallelization Kim, Juyong; Park, Yookoon; Kim, Gunhee; Hwang, Sung Ju, International Conference on Machine Learning, International Machine Learning Society (IMLS), 2017-08-06 |
SplitScreen: Enabling Efficient, Distributed Malware Detection Cha, Sang Kil; Moraru, Iulian; Jang, Ji Yong; Truelove, John; Brumley, David; Andersen, David G, USENIX Symposium on Networked Systems Design and Implementation, USENIX, 2010-04-30 |
SplitScreen: Enabling Efficient, Distributed Malware Detection Cha, Sang Kil; Moraru, Iulian; Jang, Jiyong; Truelove, John; Brumley, David; Andersen, David G., JOURNAL OF COMMUNICATIONS AND NETWORKS, v.13, no.2, pp.187 - 200, 2011-04 |
SPODoM: search-based parameter optimization framework on just-in-time software defect prediction model = 검색 기반 just-in-time 소프트웨어 결함 예측 모델 파라미터 최적화 프레임워크link Kang, Jonggu; Baik, Jongmoon; et al, 한국과학기술원, 2022 |
Spontaneous interaction network architecture = 즉각적 인터랙션 네트워크 아키텍처link Ko, Yang-Woo; 고양우; et al, 한국과학기술원, 2010 |
Spontaneous task composition in urban computing environments based on social, spatial, and temporal aspects Jimenez-Molina, Angel; Ko, In-Young, ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, v.24, no.8, pp.1446 - 1460, 2011-12 |
Spread Spectrum Video Data Hiding, Interleaving and Synchronization Shi, Yun Q.; Huang, Jiwu; Lee, Heung-Kyu, Intelligent Watermarking Techniques, pp.515-558, 2004 |
Spread Spectrum Video Data Hiding, Interleaving and Synchronization Shi, Yun Q.; Huang, Jiwu; Lee, Heung-Kyu, Intelligent Watermarking Techniques, pp.515-558, 2004 |
SPRINTER: A Fast n-ary Join Query Processing Method for Complex OLAP Queries Nam, Yoon-Min; Kim, Min-Soo; Han, Donghyoung, 2020 ACM SIGMOD International Conference on Management of Data, SIGMOD 2020, pp.2055 - 2070, Association for Computing Machinery, 2020-06-18 |
Square: 3x3 keypad mapped to geometric elements of a square Yoon, Youngwoo; Lee, Geehyuk, 26th IEEE International Conference on Consumer Electronics, The Mobile Consumer, ICCE 2008, v.54, no.3, pp.1274 - 1280, 2008-01-09 |
Discover