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»
16 years 20 days 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»
17 years 12 days 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
16 years 7 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...
142
Voted
SRDS
2007
IEEE
16 years 11 days 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
16 years 8 days 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...