In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...
In most component models, a software component consists of a functional part and a controller part. The controller part may be extensible; however, existing component models provi...
This paper proposes a novel method for estimating depth from a long image sequence captured by a moving camera. Our idea for estimating a depth map is very simple; only counting i...
To support the collaborative development of custom products in current distributed manufacturing, this paper develops a Web-based configure-to-order platform. The proposed platfor...
Roger Jianxin Jiao, Martin G. Helander, Lianfeng Z...
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...