Sciweavers

2152 search results - page 183 / 431
» A Framework for Modeling DNA Based Molecular Systems
Sort
View
MM
2004
ACM
178views Multimedia» more  MM 2004»
15 years 12 months ago
A bootstrapping framework for annotating and retrieving WWW images
Most current image retrieval systems and commercial search engines use mainly text annotations to index and retrieve WWW images. This research explores the use of machine learning...
HuaMin Feng, Rui Shi, Tat-Seng Chua
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
16 years 18 days 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
HICSS
2005
IEEE
178views Biometrics» more  HICSS 2005»
16 years 2 days ago
The Entity Container - An Object-Oriented and Model-Driven Persistency Cache
Data persistency is a fundamental, but complex aspect of a modern software development process. Therefore, in order to reduce development costs and improve a system’s quality, s...
Gernot Schmoelzer, Stefan Mitterdorfer, Christian ...
MSR
2006
ACM
16 years 13 days ago
Concern based mining of heterogeneous software repositories
In the current trend of software engineering, software systems are viewed as clusters of overlapping structures representing various concerns, covering heterogeneous artifacts lik...
Imed Hammouda, Kai Koskimies
EUC
2006
Springer
15 years 10 months ago
Data-Layout Optimization Using Reuse Distance Distribution
As the ever-increasing gap between the speed of processor and the speed of memory has become the cause of one of primary bottlenecks of computer systems, modern architecture system...
Xiong Fu, Yu Zhang, Yiyun Chen