Sciweavers

4695 search results - page 359 / 939
» Software Clustering Techniques and the Use of Combined Algor...
Sort
View
230
Voted
AB
2007
Springer
16 years 29 days ago
Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
Venkatesh Mysore, Bud Mishra
ECCV
1998
Springer
16 years 8 months ago
Concerning Bayesian Motion Segmentation, Model, Averaging, Matching and the Trifocal Tensor
Abstract. Motion segmentation involves identifying regions of the image that correspond to independently moving objects. The number of independently moving objects, and type of mot...
Philip H. S. Torr, Andrew Zisserman
DAC
2004
ACM
16 years 7 months ago
The best of both worlds: the efficient asynchronous implementation of synchronous specifications
The desynchronization approach combines a traditional synchronous specification style with a robust asynchronous implementation model. The main contribution of this paper is the d...
Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Albe...
BIBE
2007
IEEE
195views Bioinformatics» more  BIBE 2007»
16 years 1 months ago
Finding Clusters of Positive and Negative Coregulated Genes in Gene Expression Data
— In this paper, we propose a system for finding partial positive and negative coregulated gene clusters in microarray data. Genes are clustered together if they show the same p...
Kerstin Koch, Stefan Schönauer, Ivy Jansen, J...
BMCBI
2008
154views more  BMCBI 2008»
15 years 6 months ago
GeNESiS: gene network evolution simulation software
Background: There has been a lot of interest in recent years focusing on the modeling and simulation of Gene Regulatory Networks (GRNs). However, the evolutionary mechanisms that ...
Anton Kratz, Masaru Tomita, Arun Krishnan