Sciweavers

4164 search results - page 638 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
FMSB
2008
142views Formal Methods» more  FMSB 2008»
15 years 8 months ago
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
David Harel, Yaki Setty
MOBIQUITOUS
2007
IEEE
16 years 25 days ago
A SpatioTemporal Placement Model for Caching Location Dependent Queries
Client side caching of location dependent queries is an important technique for improving performance of location-based services. Most of the existing research in this area has fo...
Anand Murugappan, Ling Liu
BMCBI
2007
143views more  BMCBI 2007»
15 years 6 months ago
An adaptive bin framework search method for a beta-sheet protein homopolymer model
Background: The problem of protein structure prediction consists of predicting the functional or native structure of a protein given its linear sequence of amino acids. This probl...
Alena Shmygelska, Holger H. Hoos
BMCBI
2007
94views more  BMCBI 2007»
15 years 6 months ago
A Hidden Markov Model to estimate population mixture and allelic copy-numbers in cancers using Affymetrix SNP arrays
Background: Affymetrix SNP arrays can interrogate thousands of SNPs at the same time. This allows us to look at the genomic content of cancer cells and to investigate the underlyi...
Philippe Lamy, Claus L. Andersen, Lars Dyrskjot, N...
ACSC
2010
IEEE
15 years 1 months ago
Efficient contour line labelling for terrain modelling
Terrains are an essential part of outdoor environments. Terrain models are important for computer games and applications in architecture, urban design and archaeology. A popular a...
Xin Xie, Burkhard Wünsche