Sciweavers

8201 search results - page 1315 / 1641
» Approaching Manual Intelligence
Sort
View
LATA
2009
Springer
16 years 1 months ago
Recent Developments in Algorithmic Teaching
Abstract. The present paper surveys recent developments in algorithmic teaching. First, the traditional teaching dimension model is recalled. Starting from the observation that the...
Frank J. Balbach, Thomas Zeugmann
LATA
2009
Springer
16 years 1 months ago
A Kleene Theorem for Forest Languages
This paper proposes an alternative approach to the standard notion of rational (or regular) expression for tree languages. The main difference is that in the new notion we have on...
Lutz Straßburger
ICAS
2009
IEEE
169views Robotics» more  ICAS 2009»
16 years 1 months ago
Ontonuts: Reusable Semantic Components for Multi-agent Systems
The volumes of data in information systems are growing drastically. The systems become increasingly complex in trying to handle heterogeneity of ubiquitous components, standards, ...
Sergiy Nikitin, Artem Katasonov, Vagan Y. Terziyan
ICASSP
2009
IEEE
16 years 1 months ago
Speech reinforcement based on partial masking effect
Perceived quality of the speech signal deteriorates significantly in the presence of ambient noise. In this paper, based on the analysis that the partial masking effect is a main...
Jong Won Shin, Yu Gwang Jin, Seung Seop Park, Nam ...
TPHOL
2009
IEEE
16 years 1 months ago
Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
Andreas Lochbihler
« Prev « First page 1315 / 1641 Last » Next »