Sciweavers

1900 search results - page 204 / 380
» The Four Phase Method for Modelling Complex Systems
Sort
View
BMCBI
2006
122views more  BMCBI 2006»
15 years 3 months ago
Computational reconstruction of transcriptional regulatory modules of the yeast cell cycle
Background: A transcriptional regulatory module (TRM) is a set of genes that is regulated by a common set of transcription factors (TFs). By organizing the genome into TRMs, a liv...
Wei-Sheng Wu, Wen-Hsiung Li, Bor-Sen Chen
CVPR
2007
IEEE
15 years 9 months ago
Moving Object Detection on a Runway Prior to Landing Using an Onboard Infrared Camera
Determining the status of a runway prior to landing is essential for any aircraft, whether manned or unmanned. In this paper, we present a method that can detect moving objects on...
Cheng-Hua Pai, Yuping Lin, Gérard G. Medion...
BMCBI
2007
114views more  BMCBI 2007»
15 years 3 months ago
Mining and state-space modeling and verification of sub-networks from large-scale biomolecular networks
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
Xiaohua Hu, Fang-Xiang Wu
FORMATS
2008
Springer
15 years 4 months ago
A Framework for Distributing Real-Time Functions
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
Frédéric Boniol, Pierre-Emmanuel Hla...
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 7 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert