Sciweavers

357 search results - page 13 / 72
» A Comparison of Model Migration Tools
Sort
View
STTT
2010
115views more  STTT 2010»
15 years 1 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»
15 years 3 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
15 years 7 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
129
Voted
ICIP
2006
IEEE
16 years 4 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»
15 years 3 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...