Sciweavers

471 search results - page 93 / 95
» Case studies for self-organization in computer science
Sort
View
CGF
2008
142views more  CGF 2008»
13 years 9 months ago
Visualizing Genome Expression and Regulatory Network Dynamics in Genomic and Metabolic Context
DNA microarrays are used to measure the expression levels of thousands of genes simultaneously. In a time series experiment, the gene expressions are measured as a function of tim...
Michel A. Westenberg, Sacha A. F. T. van Hijum, Os...
CORR
2010
Springer
115views Education» more  CORR 2010»
13 years 9 months ago
The complexity of solving reachability games using value and strategy iteration
Concurrent reachability games is a class of games heavily studied by the computer science community, in particular by the formal methods community. Two standard algorithms for app...
Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, P...
AIR
2006
124views more  AIR 2006»
13 years 9 months ago
Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states
Abstract Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence...
Rodolfo Sabás Gómez, Juan Carlos Aug...
CORR
2006
Springer
137views Education» more  CORR 2006»
13 years 9 months ago
Lambda Types on the Lambda Calculus with Abbreviations
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
F. Guidi
JUCS
2008
130views more  JUCS 2008»
13 years 8 months ago
Experimenting the Automated Selection of COTS Components Based on Cost and System Requirements
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
Vittorio Cortellessa, Ivica Crnkovic, Fabrizio Mar...