Sciweavers

323 search results - page 12 / 65
» Evaluating example-based search tools
Sort
View
PTS
2010
147views Hardware» more  PTS 2010»
13 years 6 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...
GCB
2004
Springer
91views Biometrics» more  GCB 2004»
14 years 27 days ago
A Method for Fast Approximate Searching of Polypeptide Structures in the PDB
: The main contribution of this paper is a novel approach for fast searching in huge structural databases like the PDB. The data structure is based on an adaption of the generalize...
Hanjo Täubig, Arno Buchner, Jan Griebsch
SIGIR
2003
ACM
14 years 23 days ago
A personalised information retrieval tool
Due to both the size and growth of the internet, new tools are needed to assist with the finding and extraction of very specific resources relevant to a user's task. Previous...
Innes Martin, Joemon M. Jose
AVI
1996
13 years 8 months ago
Table lens as a tool for making sense of data
The Table Lens is a visualization for searching for patterns and outliers in multivariate datasets. It supports a lightweight form of exploratory data analysis (EDA) by integratin...
Peter Pirolli, Ramana Rao
GECCO
2007
Springer
184views Optimization» more  GECCO 2007»
13 years 11 months ago
Multi-objective optimization tool for a free structure analog circuits design using genetic algorithms and incorporating parasit
This paper presents a novel approach for a free structure analog circuit design using Genetic Algorithms (GA). A major problem in a free structure circuit is its sensitivity calcu...
Yaser M. A. Khalifa, Badar K. Khan, Faisal Taha