Sciweavers

6709 search results - page 1308 / 1342
» Performance Modelling of the Computational Hardware: A Stati...
Sort
View
EMSOFT
2011
Springer
14 years 6 days ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
183
Voted
GIS
2009
ACM
16 years 1 months ago
Efficient and Secure Distribution of Massive Geo-Spatial Data
Modern geographic databases can contain a large volume of data that need to be distributed to subscribed customers. The data can be modeled as a cube, where typical dimensions inc...
Hao Yuan, Mikhail J. Atallah
82
Voted
CEC
2010
IEEE
15 years 1 months ago
Evolutionary layered hypernetworks for identifying microRNA-mRNA regulatory modules
Abstract-- Exploring microRNA (miRNA) and mRNA regulatory interactions may give new insights into diverse biological phenomena. While elucidating complex miRNA-mRNA interactions ha...
Soo-Jin Kim, JungWoo Ha, Bado Lee, Byoung-Tak Zhan...
TON
2002
112views more  TON 2002»
15 years 3 days ago
Pricing in multiservice loss networks: static pricing, asymptotic optimality, and demand substitution effects
We consider a communication network with fixed routing that can accommodate multiple service classes, differing in bandwidth requirements, demand pattern, call duration, and routin...
Ioannis Ch. Paschalidis, Yong Liu
CSB
2004
IEEE
112views Bioinformatics» more  CSB 2004»
15 years 4 months ago
Reasoning about Molecular Similarity and Properties
Ascertaining the similarity amongst molecules is a fundamental problem in biology and drug discovery. Since similar molecules tend to have similar biological properties, the notio...
Rahul Singh
« Prev « First page 1308 / 1342 Last » Next »