Sciweavers

587 search results - page 96 / 118
» There is No Such Thing as Free Support
Sort
View
WRLA
2010
15 years 7 days 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
130
Voted
TITS
2011
247views more  TITS 2011»
14 years 8 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»
14 years 5 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
14 years 5 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
14 years 5 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...