Sciweavers

1682 search results - page 212 / 337
» Applying Conventional Testing Techniques for Class Testing
Sort
View
ECAI
2010
Springer
15 years 5 months ago
Parallel TBox Classification in Description Logics - First Experimental Results
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
Mina Aslani, Volker Haarslev
BMCBI
2008
146views more  BMCBI 2008»
15 years 4 months ago
Can molecular dynamics simulations help in discriminating correct from erroneous protein 3D models?
Background: Recent approaches for predicting the three-dimensional (3D) structure of proteins such as de novo or fold recognition methods mostly rely on simplified energy potentia...
Jean-François Taly, Antoine Marin, Jean-Fra...
ICIAR
2004
Springer
15 years 9 months ago
Neuro-Fuzzy Method for Automated Defect Detection in Aluminium Castings
The automated flaw detection in aluminium castings consists of two steps: a) identification of potential defects using image processing techniques, and b) classification of pote...
Sergio Hernández, Doris Saez, Domingo Mery
CORR
2008
Springer
91views Education» more  CORR 2008»
15 years 4 months ago
Particle Filtering for Large Dimensional State Spaces with Multimodal Observation Likelihoods
We study efficient importance sampling techniques for particle filtering (PF) when either (a) the observation likelihood (OL) is frequently multimodal or heavy-tailed, or (b) the s...
Namrata Vaswani
DAC
2009
ACM
16 years 5 months ago
Improving STT MRAM storage density through smaller-than-worst-case transistor sizing
This paper presents a technique to improve the storage density of spin-torque transfer (STT) magnetoresistive random access memory (MRAM) in the presence of significant magnetic t...
Wei Xu, Yiran Chen, Xiaobin Wang, Tong Zhang