Sciweavers

6014 search results - page 300 / 1203
» Structural Testing with Use Cases
Sort
View
BMCBI
2006
101views more  BMCBI 2006»
15 years 4 months ago
Predicting residue contacts using pragmatic correlated mutations method: reducing the false positives
Background: Predicting residues' contacts using primary amino acid sequence alone is an important task that can guide 3D structure modeling and can verify the quality of the ...
Petras J. Kundrotas, Emil Alexov
DLOG
2007
15 years 7 months ago
Automated Evaluation of Description Logic Reasoning Systems
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
Sebastian Wandelt
FUIN
2002
132views more  FUIN 2002»
15 years 4 months ago
RIONA: A New Classification System Combining Rule Induction and Instance-Based Learning
The article describes a method combining two widely-used empirical approaches to learning from examples: rule induction and instance-based learning. In our algorithm (RIONA) decisi...
Grzegorz Góra, Arkadiusz Wojna
ATVA
2004
Springer
146views Hardware» more  ATVA 2004»
15 years 10 months ago
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teru...
ICIP
2010
IEEE
15 years 2 months ago
Comparison of registration methods using mamographic images
The detection of architectural distortions and abnormal structures in mammographic images can be based on the analysis of bilateral and temporal cases using image registration. Th...
Yago Diez, Arnau Oliver, Xavier Lladó, Robe...