Sciweavers

2618 search results - page 464 / 524
» Natural Human-Robot Interaction
Sort
View
TCS
2002
15 years 5 months ago
A unified language processing methodology
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
Teodor Rus
177
Voted
VR
2002
IEEE
170views Virtual Reality» more  VR 2002»
15 years 5 months ago
Handling of Virtual Contact in Immersive Virtual Environments: Beyond Visuals
This paper addresses the issue of improving the perception of contact that users make with purely virtual objects in virtual environments. Because these objects have no physical c...
Robert W. Lindeman, James N. Templeman, John L. Si...
188
Voted
CORR
2010
Springer
194views Education» more  CORR 2010»
15 years 3 months ago
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
Stéphane Lengrand, Roy Dyckhoff, James McKi...
TMC
2010
165views more  TMC 2010»
15 years 25 days ago
Energy-Efficient VoIP over Wireless LANs
Emerging dual-mode phones incorporate a Wireless LAN (WLAN) interface along with the traditional cellular interface. The additional benefits of the WLAN interface are, however, lik...
Vinod Namboodiri, Lixin Gao
CSL
2012
Springer
14 years 1 months ago
Reinforcement learning for parameter estimation in statistical spoken dialogue systems
Reinforcement techniques have been successfully used to maximise the expected cumulative reward of statistical dialogue systems. Typically, reinforcement learning is used to estim...
Filip Jurcícek, Blaise Thomson, Steve Young