Sciweavers

624 search results - page 102 / 125
» Test set compaction algorithms for combinational circuits
Sort
View
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
15 years 10 months ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
BMCBI
2008
170views more  BMCBI 2008»
15 years 4 months ago
A genetic approach for building different alphabets for peptide and protein classification
Background: In this paper, it is proposed an optimization approach for producing reduced alphabets for peptide classification, using a Genetic Algorithm. The classification task i...
Loris Nanni, Alessandra Lumini
GECCO
2009
Springer
128views Optimization» more  GECCO 2009»
15 years 10 months ago
Neural network ensembles for time series forecasting
This work provides an analysis of using the evolutionary algorithm EPNet to create ensembles of artificial neural networks to solve a range of forecasting tasks. Several previous...
Victor M. Landassuri-Moreno, John A. Bullinaria
AAAI
2008
15 years 6 months ago
Learning Grasp Strategies with Partial Shape Information
We consider the problem of grasping novel objects in cluttered environments. If a full 3-d model of the scene were available, one could use the model to estimate the stability and...
Ashutosh Saxena, Lawson L. S. Wong, Andrew Y. Ng
LREC
2010
157views Education» more  LREC 2010»
15 years 5 months ago
Indexing Methods for Faster and More Effective Person Name Search
This paper compares several indexing methods for person names extracted from text, developed for an information retrieval system with requirements for fast approximate matching of...
Mark Arehart