Sciweavers

852 search results - page 65 / 171
» Refactoring module structure
Sort
View
ICIP
2007
IEEE
14 years 11 months ago
Joint Segmentation and Recognition of License Plate Characters
The segmentation and recognition modules are usually implemented sequentially in most traditional automatic license recognition (LPR) systems. In this work, we integrate segmentat...
Xin Fan, Guoliang Fan, Dequn Liang
POPL
2004
ACM
14 years 10 months ago
Separation and information hiding
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
ICTAI
2009
IEEE
14 years 4 months ago
A Multi-objective Genetic Algorithm for Community Detection in Networks
A multiobjective genetic algorithm to uncover community structure in complex network is proposed. The algorithm optimizes two objective functions able to identify densely connecte...
Clara Pizzuti
WSC
2008
14 years 8 days ago
Simulation of modular building construction
Modular construction has the advantage of producing structures quickly and efficiently, while not requiring the resources to build a structure to be co-located with the constructi...
Osama M. Mohsen, Paul J. Knytl, Basel Abdulaal, Ja...
DELOS
2007
13 years 11 months ago
MESSIF: Metric Similarity Search Implementation Framework
The similarity search has become a fundamental computational task in many applications. One of the mathematical models of the similarity – the metric space – has drawn attenti...
Michal Batko, David Novak, Pavel Zezula