2192 search results - page 104 / 439 » Embedded function composition |
98
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
We designed and implemented an ontological solution which makes provisions for choosing adequate devices/sensors for remote monitoring of patients who are suffering from post-stro...
118
click to vote
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
117
Voted
VLSID
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Microfluidics-based biochips are revolutionizing highthroughput sequencing, parallel immunoassays, clinical diagnostics, and drug discovery. These devices enable the pre...
111
Voted
IVC
2007
15 years 17 days ago
2007
Many natural image sets are samples of a low-dimensional manifold in the space of all possible images. When the image data set is not a linear combination of a small number of bas...
121
click to vote
FOSSACS
2012
Springer
13 years 8 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...