119 search results - page 13 / 24 » Reasoning about Lists via List Interleaving |
121
click to vote
ICFP
2012
ACM
13 years 24 days ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
BMCBI
2008
14 years 10 months ago
2008
Background: Millions of single nucleotide polymorphisms have been identified as a result of the human genome project and the rapid advance of high throughput genotyping technology...
INFOCOM
2006
IEEE
15 years 4 months ago
2006
IEEE
— Disruption-tolerant networks (DTNs) attempt to route network messages via intermittently connected nodes. Routing in such environments is difficult because peers have little i...
108
click to vote
ESA
2005
Springer
15 years 3 months ago
2005
Springer
We study a wide range of online covering and packing optimization problems. In an online covering problem a linear cost function is known in advance, but the linear constraints th...
IEEECIT
2010
IEEE
14 years 9 months ago
2010
IEEE
We define corner points in an image as the intersections among detected straight line segments, and propose an algorithm that detects corners from such a definition. Our corner det...