4273 search results - page 80 / 855 » User studies and the design of Natural Language Systems |
JIIS
2008
14 years 9 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
110
click to vote
TIFS
2011
14 years 4 months ago
2011
— “Pairing” is the establishment of authenticated key agreement between two devices over a wireless channel. Such devices are ad hoc in nature as they lack any common preshar...
ICMI
2003
Springer
15 years 3 months ago
2003
Springer
If user interfaces should be made human-like vs. tool-like has been debated in the HCI field, and this debate affects the development of multimodal interfaces. However, little emp...
APWEB
2005
Springer
15 years 3 months ago
2005
Springer
VoiceXML is a standard language for developing voice based applications. VoiceXML applications have more advantages over traditional Interactive Voice Response (IVR) systems becaus...
ERCIMDL
1999
Springer
15 years 2 months ago
1999
Springer
As current digital libraries are becoming more complex, the facilities provided by them will increase and the difficulty of learning associated with the complexity of using these f...