Sciweavers

525 search results - page 29 / 105
» Static Interpretation of Modules
Sort
View
BMCBI
2011
14 years 4 months ago
Appearance frequency modulated gene set enrichment testing
Background: Gene set enrichment testing has helped bridge the gap from an individual gene to a systems biology interpretation of microarray data. Although gene sets are defined a ...
Jun Ma, Maureen A. Sartor, H. V. Jagadish
AAAI
2007
14 years 12 months ago
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
We present the syntax and semantics of a modular ontology language SHOIQP to support context-specific reuse of knowledge from multiple ontologies. A SHOIQP ontology consists of m...
Jie Bao, Giora Slutzki, Vasant Honavar
FM
2001
Springer
96views Formal Methods» more  FM 2001»
15 years 2 months ago
Houdini, an Annotation Assistant for ESC/Java
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
Cormac Flanagan, K. Rustan M. Leino
BMCBI
2010
164views more  BMCBI 2010»
14 years 9 months ago
Investigating the validity of current network analysis on static conglomerate networks by protein network stratification
Background: A molecular network perspective forms the foundation of systems biology. A common practice in analyzing protein-protein interaction (PPI) networks is to perform networ...
Minlu Zhang, Long J. Lu
PAMI
2008
275views more  PAMI 2008»
14 years 9 months ago
Coupled Object Detection and Tracking from Static Cameras and Moving Vehicles
Abstract-- We present a novel approach for multi-object tracking which considers object detection and spacetime trajectory estimation as a coupled optimization problem. Our approac...
Bastian Leibe, Konrad Schindler, Nico Cornelis, Lu...