Sciweavers

5608 search results - page 683 / 1122
» Structure description tools
Sort
View
239
Voted
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 10 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
223
Voted
BMCBI
2011
14 years 10 months ago
A fast and accurate method to detect allelic genomic imbalances underlying mosaic rearrangements using SNP array data
Background: Mosaicism for copy number and copy neutral chromosomal rearrangements has been recently identified as a relatively common source of genetic variation in the normal pop...
Juan R. González, Benjamin Rodriguez-Santia...
CVPR
2003
IEEE
16 years 9 months ago
Face Alignment Using Statistical Models and Wavelet Features
Active Shape Model (ASM) is a powerful statistical tool for face alignment by shape. However, it can suffer from changes in illumination and facial expression changes, and local m...
Feng Jiao, Stan Z. Li, Heung-Yeung Shum, Dale Schu...
171
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
197
Voted
ASWC
2009
Springer
16 years 1 months ago
What Makes a Good Ontology? A Case-Study in Fine-Grained Knowledge Reuse
Understanding which ontology characteristics can predict a “good” quality ontology, is a core and ongoing task in the Semantic Web. In this paper, we provide our findings on wh...
Miriam Fernández, Chwhynny Overbeeke, Marta...