Sciweavers

1141 search results - page 61 / 229
» Analyzing Electroencephalograms Using Cloud Computing Techni...
Sort
View
107
Voted
BMCBI
2010
121views more  BMCBI 2010»
14 years 10 months ago
Computing DNA duplex instability profiles efficiently with a two-state model: trends of promoters and binding sites
Background: DNA instability profiles have been used recently for predicting the transcriptional start site and the location of core promoters, and to gain insight into promoter ac...
Miriam R. Kantorovitz, Zoi Rapti, Vladimir Gelev, ...
ASM
2010
ASM
15 years 9 months ago
Towards Validation of Requirements Models
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...
Atif Mashkoor, Abderrahman Matoussi
93
Voted
ISVC
2005
Springer
15 years 6 months ago
Hifocon: Object and Dimensional Coherence and Correlation in Multidimensional Visualization
In any multidimensional visualization, some information has to be compromised when projecting multidimensional data to two- or three-dimensional space. We introduce the concepts of...
Soon Tee Teoh, Kwan-Liu Ma
189
Voted
SIGMOD
2007
ACM
165views Database» more  SIGMOD 2007»
16 years 21 days ago
Sharing aggregate computation for distributed queries
An emerging challenge in modern distributed querying is to efficiently process multiple continuous aggregation queries simultaneously. Processing each query independently may be i...
Ryan Huebsch, Minos N. Garofalakis, Joseph M. Hell...
126
Voted
JUCS
2000
102views more  JUCS 2000»
15 years 9 days ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...