Sciweavers

4193 search results - page 436 / 839
» Measurable Categories
Sort
View
PASTE
2005
ACM
16 years 12 days ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
SAC
2005
ACM
16 years 12 days ago
Comparing approaches to predict transmembrane domains in protein sequences
There are today several systems for predicting transmembrane domains in membrane protein sequences. As they are based on different classifiers as well as different pre- and post-p...
Paul Davidsson, Johan Hagelbäck, Kenny Svenss...
SAC
2005
ACM
16 years 12 days ago
Mining concept associations for knowledge discovery in large textual databases
In this paper, we describe a new approach for mining concept associations from large text collections. The concepts are short sequences of words that occur frequently together acr...
Xiaowei Xu, Mutlu Mete, Nurcan Yuruk
SAC
2005
ACM
16 years 12 days ago
Effort and accuracy analysis of choice strategies for electronic product catalogs
One crucial task for e-commerce systems is to help buyers find products that not only satisfy their preferences but also reduce their search effort. Usually the amount of availa...
Jiyong Zhang, Pearl Pu
SBCCI
2005
ACM
80views VLSI» more  SBCCI 2005»
16 years 12 days ago
On the design of very small transconductance OTAs with reduced input offset
In this paper it will be demonstrated, from the theory and measurements, that series-parallel (SP) mirrors allow building current copiers with copy factors of thousands, without d...
Alfredo Arnaud, Rafaella Fiorelli, Carlos Galup-Mo...