Sciweavers

2618 search results - page 464 / 524
» Natural Human-Robot Interaction
Sort
View
97
Voted
TCS
2002
14 years 10 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
93
Voted
VR
2002
IEEE
170views Virtual Reality» more  VR 2002»
14 years 10 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...
95
Voted
CORR
2010
Springer
194views Education» more  CORR 2010»
14 years 7 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...
125
Voted
TMC
2010
165views more  TMC 2010»
14 years 5 months 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
13 years 6 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