10790 search results - page 213 / 2158 » Using feature models to automate model transformations |
169
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
168
click to vote
JMM
2007
15 years 6 months ago
2007
In this paper, we combine the use of Reduced Feature Vector Integration (RFI) and Distance Integration (DI) with Relevance Feedback (RF) on 3D model similarity retrieval. The RFI ...
194
click to vote
DLOG
2003
15 years 8 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
182
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Small interfering RNAs (siRNAs) have become an important tool in cell and molecular biology. Reliable design of siRNA molecules is essential for the needs of large fun...
163
click to vote
WCE
2007
15 years 7 months ago
2007
—Pose problem is a big challenge for applying face recognition technology under real world conditions. In this paper, appearance based approach was proposed to recognize face acr...