1740 search results - page 115 / 348 » Minimal structures for stories |
127
Voted
ISBI
2008
IEEE
16 years 4 months ago
2008
IEEE
In this paper, we present a robust, hierarchical Partition of Unity Finite Element Method (PUFEM) to compute the transformation between two images, which is represented by a non-r...
108
Voted
DCC
2009
IEEE
16 years 4 months ago
2009
IEEE
We present a new lossy compressor for discrete sources. For coding a source sequence xn , the encoder starts by assigning a certain cost to each reconstruction sequence. It then f...
100
click to vote
ICCD
2001
IEEE
16 years 12 days ago
2001
IEEE
Reduced Ordered Binary Decision Diagrams (BDDs) are a data structure for representation and manipulation of Boolean functions which are frequently used in VLSI Design Automation. ...
124
Voted
WADS
2009
Springer
15 years 10 months ago
2009
Springer
We consider a set of axis-parallel nonintersecting strips in the plane. An observer starts to the left of all strips and ends to the right, thus visiting all strips in the given or...
130
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...