1518 search results - page 168 / 304 » Exact and Approximate Bandwidth |
141
click to vote
ICDT
2005
ACM
15 years 10 months ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
131
click to vote
ICIAR
2005
Springer
15 years 10 months ago
2005
Springer
Concavity trees have been known for quite some time as structural descriptors of 2-D shape; however, they haven’t been explored further until recently. This paper shows how 2-D s...
141
click to vote
ISSAC
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...
116
Voted
STACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We consider variations of two well-known centrality measures, betweenness and closeness, with a different model of information spread. Rather than along shortest paths o...
122
click to vote
WEA
2005
Springer
15 years 10 months ago
2005
Springer
We present the problem of statically distributing instructions of a common programming language, a problem which we prove equivalent to the multiterminal cut problem. We design eï¬...