Sciweavers

1034 search results - page 148 / 207
» Inference of field initialization
Sort
View
COGSCI
1998
113views more  COGSCI 1998»
15 years 2 months ago
Conceptual Integration Networks
Conceptual integration—"blending"—is a general cognitive operation on a par with analogy, recursion, mental modeling, conceptual categorization, and framing. It serv...
Gilles Fauconnier, Mark Turner
JBI
2002
15 years 2 months ago
Revising regulatory networks: from expression data to linear causal models
Discovering the complex regulatory networks that govern mRNA expression is an important but difficult problem. Many current approaches use only expression data from microarrays to...
Stephen D. Bay, Jeff Shrager, Andrew Pohorille, Pa...
TITB
2002
142views more  TITB 2002»
15 years 2 months ago
Building a bioinformatics ontology using OIL
This paper describes the initial stages of building an ontology of bioinformatics and molecular biology. The conceptualisation is encoded using the Ontology Inference Layer (OIL),...
Robert Stevens, Carole A. Goble, Ian Horrocks, Sea...
104
Voted
ICFEM
2010
Springer
15 years 1 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
ICIP
2009
IEEE
15 years 6 days ago
Distant face recognition based on sparse-stereo reconstruction
We introduce a framework for face recognition at a distance based on sparse-stereo reconstruction. We develop a 3D acquisition system that consists of two CCD stereo cameras mount...
Ham M. Rara, Shireen Y. Elhabian, Asem M. Ali, Mik...