176 search results - page 15 / 36 » A Framework for Extended Algebraic Data Types |
CALCO
2011
Springer
12 years 7 months ago
2011
Springer
This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we pr...
BMCBI
2010
13 years 7 months ago
2010
Background: New technologies are enabling the measurement of many types of genomic and epigenomic information at scales ranging from the atomic to nuclear. Much of this new data i...
BMCBI
2005
13 years 7 months ago
2005
Background: Interpreting the results of high-throughput experiments, such as those obtained from DNA-microarrays, is an often time-consuming task due to the high number of data-po...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this work, a novel occlusion detection algorithm using online learning is proposed for video applications. Each frame of a video is considered as a time-step for which pixels a...
DEXAW
2007
IEEE
13 years 11 months ago
2007
IEEE
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...