Sciweavers

4263 search results - page 125 / 853
» Learning without Coding
Sort
View
NDSS
2008
IEEE
15 years 8 months ago
Impeding Malware Analysis Using Conditional Code Obfuscation
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
Monirul I. Sharif, Andrea Lanzi, Jonathon T. Giffi...
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
15 years 7 months ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon
92
Voted
PCM
2005
Springer
123views Multimedia» more  PCM 2005»
15 years 7 months ago
Adaptive Vertex Chasing for the Lossless Geometry Coding of 3D Meshes
We present a new lossless geometry coding method for 3D triangle-quad meshes, Adaptive Vertex Chasing. Previous localized geometry coding methods have demonstrated better compressi...
Haeyoung Lee, Sujin Park
ISCAS
2003
IEEE
85views Hardware» more  ISCAS 2003»
15 years 7 months ago
A robust global motion estimation scheme for sprite coding
A new global motion estimation technique for sprite coding is presented in this paper. The proposed system manages to accurately register frames to a sprite without referencing th...
Hoi-Kok Cheung, Wan-Chi Siu
ER
2003
Springer
150views Database» more  ER 2003»
15 years 6 months ago
EITH - A Unifying Representation for Database Schema and Application Code in Enterprise Knowledge Extraction
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
Mark S. Schmalz, Joachim Hammer, Mingxi Wu, Oguzha...