Browse by Type Article

Showing results 11321 to 11340 of 84564

11321
Automated structural analysis of SCR-style software requirements specifications using PVS

t.h. kim; Cha, Sungdeok, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.11, no.3, pp.143 - 163, 2001-09

11322
Automated teleoperation of web-based devices using semantic web services

Ha, YG; Kim, J; Jang, M; Sohn, JC; Yoon, Hyunsooresearcher, INNOVATIONS IN APPLIED ARTIFICIAL INTELLIGENCE BOOK SERIES: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, v.3533, pp.185 - 188, 2005

11323
Automated Teleoperation of Web-based Devices Using Semantic Web Services

Ha, Young-guk; Kim, Jaehong; Jang, Minsu; Sohn, Joo-chan; Yoon, Hyunsoo, Lecture notes in computer science, v.3533, pp.185-188, 2005-06

11324
Automated test case generation for FBD programs implementing reactor protection system software

Jee, Eun-Kyoung; Shin, Donghwan; Cha, Sungdeok; Lee, Jang-Soo; Bae, Doo-Hwanresearcher, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.24, no.8, pp.608 - 628, 2014-12

11325
Automated updating of space design requirements connecting user activities and space types

Kim, Tae Wan; Kim, Youngchulresearcher; Cha, Seung Hyun; Fischer, Martin, AUTOMATION IN CONSTRUCTION, v.50, pp.102 - 110, 2015-02

11326
Automatic 3D City Modeling Using a Digital Map and Panoramic Images from a Mobile Mapping System

Kim, Hyungki; Kang, Yuna; Han, Soonhungresearcher, MATHEMATICAL PROBLEMS IN ENGINEERING, 2014

11327
Automatic Acquisition of N(oun)-C(ase)-P(redicate) Information from POS-Tagged Corpus

j.m.cho; y.h.cho; Kim, Gil Chang, COMPUTER PROCESSING OF ORIENTAL LANGUAGES, v.11, no.2, pp.191 - 203, 1997

11328
Automatic Algorithm for Estimating the Jet Engine Blade Number from the Radar Target Signature of Aircraft Targets

Yang, Woo Yong; Park, Ji Hoon; Myung, Noh-Hoonresearcher; Bae, Jun Woo; Kim, Chan Hong, IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, v.30, no.7, pp.18 - 29, 2015-07

11329
Automatic and lightweight grammar generation for fuzz testing

Kim, Su Yong; Cha, Sungdeok; Bae, Doo-Hwanresearcher, COMPUTERS & SECURITY, v.36, pp.1 - 11, 2013-07

11330
Automatic and personalized recommendation of TV program contents using sequential pattern mining for smart TV user interaction

Pyo, Shinjee; Kim, Eunhui; Kim, MunChurlresearcher, MULTIMEDIA SYSTEMS, v.19, no.6, pp.527 - 542, 2013-11

11331
Automatic As-Built BIM Creation of Precast Concrete Bridge Deck Panels Using Laser Scan Data

Wang, Qian; Sohn, Hoonresearcher; Cheng, Jack C. P., JOURNAL OF COMPUTING IN CIVIL ENGINEERING, v.32, no.3, 2018-05

11332
Automatic assembly for microelectronic components

Oh, SR; Suh, IH; Kim, JO; Oh, YS; Bien, Zeung namresearcher, IEEE Control Systems Magazine 9(4), v.9, no.4, pp.15 - 19, 1989-06

11333
Automatic Assessment of Pathological Voice Quality Using Higher-Order Statistics in the LPC Residual Domain

Lee, JiYeoun; Hahn, Minsooresearcher, EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, 2009

11334
Automatic Battery Replacement System for UAVs: Analysis and Design

Suzuki, KAO; Filho, PK; Morrison, James Rresearcher, JOURNAL OF INTELLIGENT ROBOTIC SYSTEMS, v.65, no.1-4, pp.563 - 586, 2012-01

11335
Automatic CAD model retrieval based on design documents using semantic processing and rule processing

Jeon, Sang Min; Lee, Jae Hyun; Hahm, Gyeong June; Suh, Hyo-Wonresearcher, COMPUTERS IN INDUSTRY, v.77, pp.29 - 47, 2016-04

11336
Automatic Clustering for Precision Reconnaissance and Surveillance

Cho, Sungwook; Shim, David Hyunchulresearcher, Journal of Institute of Control, Robotics and Systems, v.23, no.2, pp.89 - 95, 2017-02

11337
Automatic construction of a large-scale situation ontology by mining how-to instructions from the web

Jung, Yu-Chul; Ryu, Ji-Hee; Kim, Kyung-Min; Myaeng, Sung-Hyonresearcher, JOURNAL OF WEB SEMANTICS, v.8, pp.110 - 124, 2010-07

11338
Automatic construction of hoare proofs from abstract interpretation results

Seo, SN; Yang, Hongseokresearcher; Yi, Kwangkeun, PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, v.2895, pp.230 - 245, 2003

11339
Automatic Control for DO and pH in the Activated Sludge Process in a Coke Wastewater Treatment Plant

b. k. lee; s.w. sung; h. d. chun; j. k. kooresearcher, WATER SCIENCE AND TECHNOLOGY, v.37, no.12, pp.141 - 148, 1998

11340
Automatic control of efficiency and linearity in power amplifiers for low-power wireless communications

Yang, Kyounghoonresearcher; Jack R. East; George I. Haddad, IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES, v.0, no.0, pp.113 - 118, 1999-07

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0