Sciweavers

1136 search results - page 18 / 228
» Finding Small Holes
Sort
View
ENTCS
2006
113views more  ENTCS 2006»
13 years 9 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
TR
2010
128views Hardware» more  TR 2010»
13 years 4 months ago
Strategy for Planning Accelerated Life Tests With Small Sample Sizes
Previous work on planning accelerated life tests has been based on large-sample approximations to evaluate test plan properties. In this paper, we use more accurate simulation met...
Haiming Ma, William Q. Meeker
WWW
2004
ACM
14 years 10 months ago
Small world peer networks in distributed web search
In ongoing research, a collaborative peer network application is being proposed to address the scalability limitations of centralized search engines. Here we introduce a local ada...
Ruj Akavipat, Le-Shin Wu, Filippo Menczer
HICSS
2007
IEEE
132views Biometrics» more  HICSS 2007»
14 years 4 months ago
Using Agile Practices to Spark Innovation in a Small to Medium Sized Business
The media industry is challenged to find new lines of business as technology redefines content, distribution and customer expectations. This is a case study of Oxygen Media where ...
Ken H. Judy, Ilio Krumins-Beens
EUROMICRO
2003
IEEE
14 years 3 months ago
Key Decisions in Strategic New Product Development for Small Software Product Businesses
Small companies in the software product business risk rework and market failure due to shortcomings in integrating a strategic perspective into management of product development. ...
Jarno Vähäniitty