Sciweavers

2211 search results - page 79 / 443
» Comparing Approaches to Implement Feature Model Composition
Sort
View
IFIP
2010
Springer
14 years 4 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
ICEBE
2007
IEEE
182views Business» more  ICEBE 2007»
15 years 4 months ago
Service-Oriented Business Process Modeling and Performance Evaluation based on AHP and Simulation
With the evolution of Grid technologies and the application of Service-Oriented Architecture (SOA), more and more enterprises are integrated and collaborated with each other in a ...
Sen Zeng, Shuangxi Huang, Yushun Fan
ICMCS
2005
IEEE
123views Multimedia» more  ICMCS 2005»
15 years 3 months ago
Hidden Markov Model Based Weighted Likelihood Discriminant for Minimum Error Shape Classification
The goal of this communication is to present a weighted likelihood discriminant for minimum error shape classification. Different from traditional Maximum Likelihood (ML) methods...
Ninad Thakoor, Sungyong Jung, Jean Gao
ICANN
2003
Springer
15 years 3 months ago
Sparse Coding with Invariance Constraints
We suggest a new approach to optimize the learning of sparse features under the constraints of explicit transformation symmetries imposed on the set of feature vectors. Given a set...
Heiko Wersing, Julian Eggert, Edgar Körner
SIGMOD
2003
ACM
152views Database» more  SIGMOD 2003»
15 years 10 months ago
Using Sets of Feature Vectors for Similarity Search on Voxelized CAD Objects
In modern application domains such as multimedia, molecular biology and medical imaging, similarity search in database systems is becoming an increasingly important task. Especial...
Hans-Peter Kriegel, Stefan Brecheisen, Peer Kr&oum...