2672 search results - page 79 / 535 » Hybridizing Concept Languages |
BELL
2005
13 years 7 months ago
2005
We demonstrate effective mixing of microliter droplets using electrically tunable superhydrophobic nanostructured surfaces. By applying electrical voltage and current, droplets can...
IRAL
2003
ACM
14 years 29 days ago
2003
ACM
Recent years saw an increased interest in the use and the construction of large corpora. With this increased interest and awareness has come an expansion in the application to kno...
MICCAI
2008
Springer
14 years 9 months ago
2008
Springer
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...
REFLECTION
2001
Springer
14 years 4 days ago
2001
Springer
A number of approaches have been proposed to achieve separation of concerns. Although all these approaches form suitable candidates for separating cross-cutting concerns in a syste...
APLAS
2000
ACM
14 years 2 days ago
2000
ACM
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...