Sciweavers

555 search results - page 35 / 111
» Software, regulation, and domain specificity
Sort
View
EMSOFT
2011
Springer
12 years 9 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
BMCBI
2010
151views more  BMCBI 2010»
13 years 10 months ago
TF-finder: A software package for identifying transcription factors involved in biological processes using microarray data and e
Background: Identification of transcription factors (TFs) involved in a biological process is the first step towards a better understanding of the underlying regulatory mechanisms...
Xiaoqi Cui, Tong Wang, Huann-Sheng Chen, Victor Bu...
EKAW
2004
Springer
14 years 3 months ago
Knowledge Mediation: A Procedure for the Cooperative Construction of Domain Ontologies
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...
Felix-Robinson Aschoff, Franz Schmalhofer, Ludger ...
ICRA
1999
IEEE
187views Robotics» more  ICRA 1999»
14 years 2 months ago
VISP: A Software Environment for Eye-in-Hand Visual Servoing
In this paper, we describe a modular software that allows fast development of eye-in-hand image-based visual servoing applications (ViSP states for "Visual Servoing Platform&...
Éric Marchand
BMCBI
2008
154views more  BMCBI 2008»
13 years 10 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