Sciweavers

357 search results - page 13 / 72
» A Comparison of Model Migration Tools
Sort
View
STTT
2010
115views more  STTT 2010»
13 years 6 months ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
BMCBI
2005
123views more  BMCBI 2005»
13 years 7 months ago
PSI-BLAST-ISS: an intermediate sequence search tool for estimation of the position-specific alignment reliability
Background: Protein sequence alignments have become indispensable for virtually any evolutionary, structural or functional study involving proteins. Modern sequence search and com...
Mindaugas Margelevicius, Ceslovas Venclovas
CAISE
1999
Springer
13 years 12 months ago
A Multi-variant Approach to Software Process Modelling
: In this article we present a new approach to software process modelling for a large banking organisation. In the past years, the main software development methods and tools of th...
Wolfgang Hesse, Jörg Noack
ICIP
2006
IEEE
14 years 9 months ago
On Performance Comparison of Real and Synthetic Iris Images
In the absence of real data for extensive testing of newly designed large-scale biometrics recognition systems a number of solutions are possible including use of resampling metho...
Jinyu Zuo, Natalia A. Schmid, Xiaohan Chen
IPM
2007
156views more  IPM 2007»
13 years 7 months ago
Integration of an XML electronic dictionary with linguistic tools for natural language processing
This study proposes the codification of lexical information in electronic dictionaries, in accordance with a generic and extendable XML scheme model, and its conjunction with lin...
Octavio Santana Suárez, Francisco J. Carrer...