Sciweavers

300 search results - page 24 / 60
» Vertex Cover: Further Observations and Further Improvements
Sort
View
FM
2009
Springer
157views Formal Methods» more  FM 2009»
15 years 4 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
CVPR
2009
IEEE
2653views Computer Vision» more  CVPR 2009»
16 years 4 months ago
Expression-Insensitive 3D Face Recognition using Sparse Representation
We present a face recognition method based on sparse representation for recognizing 3D face meshes under expressions using low-level geometric features. First, to enable the applic...
Xiaoxing Li, Tao Jia, Hao Zhang 0002
MICCAI
2005
Springer
15 years 10 months ago
Adaptive Subdivision for Hierarchical Non-rigid Registration of Multi-modal Images Using Mutual Information
In this paper we present an enhanced method for non-rigid registration of volumetric multi-modal images using Mutual Information (MI). Based on a hierarchical subdivision scheme, t...
Adrian Andronache, Philippe C. Cattin, Gábo...
SRDS
2007
IEEE
15 years 3 months ago
Framework for Intrusion Tolerant Certification Authority System Evaluation
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
Jingqiang Lin, Jiwu Jing, Peng Liu
ACAL
2007
Springer
15 years 3 months ago
Investigating a Hybrid Metaheuristic for Job Shop Rescheduling
Previous research has shown that artificial immune systems can be used to produce robust schedules in a manufacturing environment. The main goal is to develop building blocks (anti...
Salwani Abdullah, Uwe Aickelin, Edmund K. Burke, A...