Sciweavers

1874 search results - page 168 / 375
» Abstract Machine for LDL
Sort
View
HYBRID
2005
Springer
15 years 9 months ago
Learning Multi-modal Control Programs
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
Tejas R. Mehta, Magnus Egerstedt
IWANN
2005
Springer
15 years 8 months ago
Direct and Recursive Prediction of Time Series Using Mutual Information Selection
Abstract. This paper presents a comparison between direct and recursive prediction strategies. In order to perform the input selection, an approach based on mutual information is u...
Yongnan Ji, Jin Hao, Nima Reyhani, Amaury Lendasse
KES
2005
Springer
15 years 8 months ago
Enhancing Computer Chat: Toward a Smooth User-Computer Interaction
Abstract. Human-computer interaction (HCI) has fundamentally changed computing. The ubiquity of HCI can be seen in several kinds of application areas, such as text editing, hyperte...
Calkin A. S. Montero, Kenji Araki
MLMI
2005
Springer
15 years 8 months ago
Detection and Resolution of References to Meeting Documents
Abstract. This article describes a method for document/speech alignment based on explicit verbal references to documents and parts of documents, in the context of multimodal meetin...
Andrei Popescu-Belis, Denis Lalanne
137
Voted
VSTTE
2005
Springer
15 years 8 months ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger