Sciweavers

2451 search results - page 418 / 491
» Effective View Navigation
Sort
View
ENTCS
2006
113views more  ENTCS 2006»
15 years 1 months ago
Mining Propositional Simplification Proofs for Small Validating Clauses
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
Ian Wehrman, Aaron Stump
INFSOF
2008
118views more  INFSOF 2008»
15 years 1 months ago
Systematic review of organizational motivations for adopting CMM-based SPI
Background: Software Process Improvement (SPI) is intended to improve software engineering, but can only be effective if used. To improve SPI's uptake, we should understand w...
Mark Staples, Mahmood Niazi
CONCURRENCY
2007
83views more  CONCURRENCY 2007»
15 years 1 months ago
Enabling community access to TeraGrid visualization resources
Visualization is an important part of the data analysis process. Many researchers, however, do not have access to the resources required to do visualization effectively for large ...
Justin Binns, Jonathan DiCarlo, Joseph A. Insley, ...
IJON
2006
161views more  IJON 2006»
15 years 1 months ago
Evolving hybrid ensembles of learning machines for better generalisation
Ensembles of learning machines have been formally and empirically shown to outperform (generalise better than) single predictors in many cases. Evidence suggests that ensembles ge...
Arjun Chandra, Xin Yao
JITECH
2008
86views more  JITECH 2008»
15 years 1 months ago
Generic verticalization strategies in enterprise system markets: An exploratory framework
In recent years, enterprise system (ES) software markets have been very dynamic. While contemporary customers are increasingly seeking ES solutions that require less and less cust...
Lior Fink, Sarit Markovich