959 search results - page 176 / 192 » Three Features for Component Frameworks |
145
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
143
Voted
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
In the area of 3D shape analysis, research in mesh segmentation has always been an important topic, as it is a fundamental low-level task which can be utilized in many application...
120
Voted
VG
2003
15 years 4 months ago
2003
The transforming and rendering of discrete objects, such as traditional images (with or without depths) and volumes, can be considered as resampling problem – objects are recons...
156
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
111
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: The advent of RNA interference techniques enables the selective silencing of biologically interesting genes in an efficient way. In combination with DNA microarray tec...