Sciweavers

31324 search results - page 261 / 6265
» Compare
Sort
View
151
Voted
ADAEUROPE
2010
Springer
15 years 5 months ago
Program Verification in SPARK and ACSL: A Comparative Case Study
Eduardo Brito, Jorge Sousa Pinto
198
Voted
COMPSAC
2010
IEEE
15 years 5 months ago
Using Load Tests to Automatically Compare the Subsystems of a Large Enterprise System
Enterprise systems are load tested for every added feature, software updates and periodic maintenance to ensure that the performance demands on system quality, availability and res...
Haroon Malik, Bram Adams, Ahmed E. Hassan, Parmind...
GCB
2010
Springer
182views Biometrics» more  GCB 2010»
15 years 5 months ago
Repeat-aware Comparative Genome Assembly
: The current high-throughput sequencing technologies produce gigabytes of data even when prokaryotic genomes are processed. In a subsequent assembly phase, the generated overlappi...
Peter Husemann, Jens Stoye
251
Voted
IAT
2010
IEEE
15 years 5 months ago
Comparing Tag Clouds, Term Histograms, and Term Lists for Enhancing Personalized Web Search
Although static ranked lists remain the dominant Web search interface, they can limit the ability of Web searchers to find desired information when it is buried deep in the collect...
Orland Hoeber, Hanze Liu
ICPR
2010
IEEE
15 years 5 months ago
Improving Classification Accuracy by Comparing Local Features through Canonical Correlations
Classifying images using features extracted from densely sampled local patches has enjoyed significant success in many detection and recognition tasks. It is also well known that ...
Mert Dikmen, Thomas S. Huang