Sciweavers

4127 search results - page 485 / 826
» Evaluation methods for topic models
Sort
View
BMCBI
2010
135views more  BMCBI 2010»
15 years 6 months ago
Efficient genome-scale phylogenetic analysis under the duplication-loss and deep coalescence cost models
Background: Genomic data provide a wealth of new information for phylogenetic analysis. Yet making use of this data requires phylogenetic methods that can efficiently analyze extr...
Mukul S. Bansal, J. Gordon Burleigh, Oliver Eulens...
BMCBI
2004
133views more  BMCBI 2004»
15 years 6 months ago
Artificial neural network approach for selection of susceptible single nucleotide polymorphisms and construction of prediction m
Background: Screening of various gene markers such as single nucleotide polymorphism (SNP) and correlation between these markers and development of multifactorial disease have pre...
Yasuyuki Tomita, Shuta Tomida, Yuko Hasegawa, Yoic...
FMSD
2010
118views more  FMSD 2010»
15 years 5 months ago
On simulation-based probabilistic model checking of mixed-analog circuits
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
Edmund M. Clarke, Alexandre Donzé, Axel Leg...
MEMOCODE
2003
IEEE
16 years 18 hour ago
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...
ATAL
2006
Springer
15 years 10 months ago
A utility-based sensing and communication model for a glacial sensor network
This paper reports on the development of a utility-based mechanism for managing sensing and communication in cooperative multi-sensor networks. The specific application considered...
Paritosh Padhy, Rajdeep K. Dash, Kirk Martinez, Ni...