Sciweavers

587 search results - page 96 / 118
» There is No Such Thing as Free Support
Sort
View
WRLA
2010
13 years 5 months ago
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
Francisco Durán, José Meseguer
TITS
2011
247views more  TITS 2011»
13 years 2 months ago
Road Detection Based on Illuminant Invariance
—By using an onboard camera, it is possible to detect the free road surface ahead of the ego-vehicle. Road detection is of high relevance for autonomous driving, road departure w...
José M. Álvarez, Antonio M. Lopez
CORR
2011
Springer
140views Education» more  CORR 2011»
12 years 11 months ago
A Wiki for Business Rules in Open Vocabulary, Executable English
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
Adrian Walker
ICASSP
2011
IEEE
12 years 11 months ago
Revisiting adaptive least-squares estimation and application to online sparse signal recovery
This paper presents a novel time-adaptive estimation technique by revisiting the classical Wiener-Hopf equation. Any convex and not necessarily differentiable function can be used...
Konstantinos Slavakis, Yannis Kopsinis, Sergios Th...
ICASSP
2011
IEEE
12 years 11 months ago
Deep neural networks for acoustic emotion recognition: Raising the benchmarks
Deep Neural Networks (DNNs) denote multilayer artificial neural networks with more than one hidden layer and millions of free parameters. We propose a Generalized Discriminant An...
André Stuhlsatz, Christine Meyer, Florian E...