10891 search results - page 1968 / 2179 » Combining Model Reductions |
ICST
2010
IEEE
13 years 9 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
IJCBDD
2010
13 years 9 months ago
2010
: The explosion of highthroughput interaction data from proteomics studies gives us the opportunity to integrate Protein-Protein Interactions (PPI) from different type of interacti...
IJCV
2010
13 years 9 months ago
2010
This paper presents a unified framework for 3D shape retrieval. The method supports multimodal queries (2D images, sketches, 3D objects) by introducing a novel view-based approach...
IJCV
2010
13 years 9 months ago
2010
Automatically assigning keywords to images is of great interest as it allows one to retrieve, index, organize and understand large collections of image data. Many techniques have b...
KES
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Motivation: Although studies have shown that genetic alterations are causally involved in numerous human diseases, still not much is known about the molecular mechanisms ...