Sciweavers

1123 search results - page 66 / 225
» Analysis of Timed Processes with Data Using Algebraic Transf...
Sort
View
BMCBI
2007
130views more  BMCBI 2007»
15 years 3 months ago
A model-based optimization framework for the inference of regulatory interactions using time-course DNA microarray expression da
Background: Proteins are the primary regulatory agents of transcription even though mRNA expression data alone, from systems like DNA microarrays, are widely used. In addition, th...
Reuben Thomas, Carlos J. Paredes, Sanjay Mehrotra,...
SCP
2000
119views more  SCP 2000»
15 years 2 months ago
Automated compositional Markov chain generation for a plain-old telephone system
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
Holger Hermanns, Joost-Pieter Katoen
ICDE
2006
IEEE
127views Database» more  ICDE 2006»
15 years 9 months ago
Processing Recursive XQuery over XML Streams: The Raindrop Approach
— XML stream applications bring the challenge of efficiently processing queries on sequentially accessible tokenbased data. For efficient processing of queries, we need to ensu...
Mingzhu Wei, Ming Li, Elke A. Rundensteiner, Mural...
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
15 years 8 months ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton
ICMCS
2005
IEEE
135views Multimedia» more  ICMCS 2005»
15 years 8 months ago
Retrieving, Adapting and Delivering Multimedia Content Using a Mobile Agent Architecture
An integrated, reconfigurable, adaptable and open system for mining, indexing and retrieving multimedia information based on a mobile agent technology scheme is presented. The sys...
Nikolaos Papadakis, Anastasios D. Doulamis, Dimitr...