Sciweavers

426 search results - page 49 / 86
» C Annotations
Sort
View
BMCBI
2007
133views more  BMCBI 2007»
15 years 7 months ago
GenMAPP 2: new features and resources for pathway analysis
Background: Microarray technologies have evolved rapidly, enabling biologists to quantify genome-wide levels of gene expression, alternative splicing, and sequence variations for ...
Nathan Salomonis, Kristina Hanspers, Alexander C. ...
MICCAI
2005
Springer
16 years 7 months ago
Hybrid Segmentation Framework for Tissue Images Containing Gene Expression Data
Associating speci c gene activity with speci c functional locations in the brain anatomy results in a greater understanding of the role of the gene's products. To perform such...
Musodiq Bello, Tao Ju, Joe D. Warren, James Carson...
TOOLS
2009
IEEE
16 years 1 months ago
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
Christian Kästner, Sven Apel, Salvador Trujil...
163
Voted
ACII
2007
Springer
16 years 1 months ago
What Should a Generic Emotion Markup Language Be Able to Represent?
Abstract. Working with emotion-related states in technological contexts requires a standard representation format. Based on that premise, the W3C Emotion Incubator group was create...
Marc Schröder, Laurence Devillers, Kostas Kar...
TACAS
2007
Springer
108views Algorithms» more  TACAS 2007»
16 years 1 months ago
State of the Union: Type Inference Via Craig Interpolation
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu