Facial spoofing indicator using deep learning by Lim, Eugen Wei Jie

“…Out of all the biometric verification, facial biometric verification is the most common. …”
Get full text

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq by Gross, Jason, Erbsen, Andres, Philipoom, Jade, Agrawal, Rajashree, Chlipala, Adam

“…The resulting extracted command-line compiler is about 1000× faster while featuring simpler compiler-specific proofs. This work lays some foundation for scaling verification efforts and contributes to the broader goal of developing a proof engine with good asymptotic performance, ultimately aimed at enabling the verification of larger and more complex systems.…”
Get full text

Enhancing local binary patterns distinctiveness for face representation by Ghahramani, Mohammad, Yau, Wei-Yun, Teoh, Eam Khwang

“…Moreover, we collected a database of 25 families to verify the superiority of the proposed feature in the family verification. Results show that using the UTLBP, the total error in face recognition and family verification is reduced up to 8% and 3% respectively comparing to the state of the art LBP. …”
Get full text
Get full text

Fisher vector faces in the wild by Simonyan, K, Parkhi, O, Vedaldi, A, Zisserman, A

“…Several recent papers on automatic face verification have significantly raised the performance bar by developing novel, specialised representations that outperform standard features such as SIFT for this problem. …”

Three dimensional numerical manifold method and rock engineering applications by He, Lei

“…A total of ten numerical examples are analyzed in the present thesis, including verification of the 3-D NMM formula, analysis of a discrete blocky system, verification of the contact algorithm, and two scenarios in rock engineering, i.e., stability analysis of rock slopes and tunnels. …”
Get full text

Design and construction of a low cost compliant hand robot by Yu, Wei Shin., Choo, Fook Hoong.

Get full text

Extreme learning machine based speaker recognition by Hu, Zongjiang.

“…Speaker Recognition is basically classified into speaker identification and speaker verification. It can be used in many fields such as banking by telephone, voice dialling, voice mail, and security control for secret information areas. …”
Get full text

Press ECCS to Doubt (Your Causal Graph) by Markakis, Markos, Zhang, Ziyu, Shahout, Rana, Gao, Trinity, Liu, Chunwei, Sabek, Ibrahim, Cafarella, Michael

Get full text

Dosimetric study of fletcher’s applicator in high-dose-rate (HDR) brachytherapy for cervical cancer: TLD measurements in pelvic water phantom by Sallehudin,, Muhammad Nursyabil

“…To ensure the accurate treatment of brachytherapy, the dose verification of the treatment must be done before the treatment delivery. …”
Get full text

A heuristic-based scheduling algorithm for high level synthesis of digital systems by Gulam Mohamed.

“…High level synthesis involves tasks that will transform an abstract or algorithmic level specification to a register transfer level structure while at the same time satisfying a set of constraints and achieving a set of goals. …”
Get full text

Modeling communication system components for prediction of RF performance by Lim, Seok Tien.

“…A process to model components specifications in RF front-end system is being demonstrated through a series of exploring basic fundamental of components and software simulators. …”
Get full text

Rationale management tool for software engineering by Fwu, Stanislaus Benfa.

“…It is normally stored in the form of functional specification document or the design specification document. …”
Get full text

Analysis & design of intelligent automation systems (II) by Sundararajan, Narasimhan.

“…The principle objective of this project is to develop the theory, experimental verification and applications in the area of intelligent automation systems.…”
Get full text

Design of test setup for asynchronous digital signal processor by Chua, Qijing.

“…This poses special challenges in testing and verification. In this report, a test setup was designed on Altera DE2 FPGA board to allow for testing and verification of an asynchronous chip. …”
Get full text

Mobile visual product search services by Winata, Kaisarudin

“…Solution for the issue mentioned above is to introduce a technique called Geometric Verification (GV) in the image processing. This method advantage is it able to increased images recognition accuracy rate up to 10%. …”
Get full text

A comparative study on parameter recovery of three approaches to structural equation modeling by Malhotra, Naresh K., Tomiuk, Marc A., Hwang, Heungsun, Kim, Youngchan, Hong, Sungjin

“…Specifically, when the model is correctly specified, covariance structure analysis tends to recover parameters better than the other two approaches. …”
Get full text
Get full text

Single-stage and cascade design of high order multiplierless linear phase FIR filters using genetic algorithm by Ye, Wen Bin, Yu, Ya Jun

“…In a practical filter design problem, when the filter specification is stringent, requiring high filter order and wide coefficient wordlength, GAs often fail to find feasible solutions, because the discrete search space thus constructed is huge and the majority of the solution candidates therein can not meet the specification. …”
Get full text
Get full text

QR code security authentication attendance system (part I) by Chew, Amanda Li Xin

“…It will be updated and reflected on the platform, which will be accessible to professor for verification purposes and tracking of attendance records. …”
Get full text

Fast timing analysis of clock networks considering environmental uncertainty by Wang, Hai, Yu, Hao, Tan, Sheldon X. D.

“…This can bring many challenges for the system-level timing verification such as for global clock networks. This paper presents a fast verification of clock-skew by an incremental-SVD-based compact modeling assisted with adaptive sampling. …”
Get full text
Get full text

Healthcare survey management system by Tai, Rebekah Shi Ting

“…It consists of HSMS design methodology, overall description, technical specification, requirement specification, explanation on the design and implementation of the interfaces and features of the system. …”
Get full text