3865 search results - page 15 / 773 » From Bidirectionality to Alternation |
PEPM
2009
ACM
14 years 4 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
TLDI
2005
ACM
14 years 28 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
BMCBI
2010
13 years 7 months ago
2010
Background: Assembling genomic sequences from a set of overlapping reads is one of the most fundamental problems in computational biology. Algorithms addressing the assembly probl...
ARTCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper presents a Novel Bidirectional motion estimation technique, which is based on the Particle swarm optimization algorithm. Particle swarm optimization (PSO) is a popula...
ICRA
2008
IEEE
14 years 1 months ago
2008
IEEE
—We introduce an inexpensive, low complexity power surface system capable of simultaneously providing wireless power and bidirectional communication from a surface to multiple mo...