Sciweavers

930 search results - page 51 / 186
» Advanced Engineering Informatics
Sort
View
TCBB
2010
163views more  TCBB 2010»
13 years 4 months ago
Classification of Protein-Protein Interaction Full-Text Documents Using Text and Citation Network Features
Abstract--We participated (as Team 9) in the Article Classification Task of the Biocreative II.5 Challenge: binary classification of fulltext documents relevant for protein-protein...
Artemy Kolchinsky, Alaa Abi-Haidar, Jasleen Kaur, ...
ICSE
2009
IEEE-ACM
14 years 4 months ago
Exploiting the synergy between automated-test-generation and programming-by-contract
This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing, runtime checking, and static checking of object-oriente...
Michael Barnett, Manuel Fähndrich, Peli de Ha...
MTSR
2007
Springer
14 years 4 months ago
A Hybrid Ontology and Visual-based Retrieval Model for Cultural Heritage Multimedia Collections
Nowadays, an increasingly growing demand for advanced multimedia search engines is arising, as huge amounts of digital visual content are becoming
Stefanos Vrochidis, Haralambos Doulaverakis, Anast...
FSTTCS
2001
Springer
14 years 2 months ago
When Worlds Collide: Derandomization, Lower Bounds, and Kolmogorov Complexity
This paper has the following goals: – To survey some of the recent developments in the field of derandomization. – To introduce a new notion of time-bounded Kolmogorov complex...
Eric Allender
AC
1998
Springer
14 years 2 months ago
Contemporary Block Ciphers
This paper considers modern secret-key block ciphers. The theory behind the design and analysis of modern block ciphers is explained, and the most important known attacks are outli...
Lars R. Knudsen