1888 search results - page 150 / 378 » Proof theory and computational analysis |
83
Voted
VMCAI
2007
Springer
15 years 6 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
95
Voted
CIS
2005
Springer
15 years 6 months ago
2005
Springer
Independent component analysis (ICA) has been applied in many fields of signal processing and many ICA learning algorithms have been proposed from different perspectives. However...
72
Voted
JCC
2007
15 years 17 days ago
2007
Abstract: The relative aromaticity of benzenoid rings in the linear polyacenes is investigated using two novel aromaticity approaches. According to the first, the aromaticity of i...
124
Voted
VDA
2010
14 years 10 months ago
2010
The exploration of multidimensional scalar fields is commonly based on the knowledge of the topology of their isosurfaces. The latter is established through the analysis of critic...
114
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
We propose a novel utterance comparison model based on probability theory and factor analysis that computes the likelihood of two speech utterances originating from the same speak...