Sciweavers

1592 search results - page 114 / 319
» On the Equality of Probabilistic Terms
Sort
View
DAC
2003
ACM
15 years 11 months ago
Synthesizing optimal filters for crosstalk-cancellation for high-speed buses
We present practical algorithms for the synthesis of crosstalk cancelling equalizing filters. We examine designs optimized for the traditional l2 metric and introduce an approach ...
Jihong Ren, Mark R. Greenstreet
CHI
2005
ACM
15 years 10 months ago
Information search: the intersection of visual and semantic space
In the context of an information search task, does the visual salience of items interact with information scent? That is, do things like bold headlines or highlighted phrases inte...
Franklin P. Tamborello II, Michael D. Byrne
VLSID
2003
IEEE
134views VLSI» more  VLSID 2003»
15 years 10 months ago
A Framework for Energy and Transient Power Reduction during Behavioral Synthesis
Abstract-- In battery driven portable applications, the minimization of energy, average power, peak power, and peak power differential are equally important to improve reliability ...
Saraju P. Mohanty, N. Ranganathan
ICDT
2010
ACM
259views Database» more  ICDT 2010»
15 years 7 months ago
Forward-XPath and extended register automata on data-trees
We consider a fragment of XPath named `forward-XPath', which contains all descendant and rightwards sibling axes as well as data equality and inequality tests. The satisfiabi...
Diego Figueira
IFL
2001
Springer
137views Formal Methods» more  IFL 2001»
15 years 2 months ago
A Generic Programming Extension for Clean
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
Artem Alimarine, Marinus J. Plasmeijer