794 search results - page 106 / 159 » Hardware Natural Language Interface |
104
Voted
CARDIS
2000
Springer
15 years 6 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
154
Voted
GPCE
2009
Springer
15 years 7 months ago
2009
Springer
Developing pervasive computing applications is a difficult task because it requires to deal with a wide range of issues: heterogeneous devices, entity distribution, entity coordi...
105
click to vote
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
107
Voted
ANLP
1994
15 years 4 months ago
1994
Automatic text tagging is an important component in higher level analysis of text corpora, and its output can be used in many natural language processing applications. In language...
120
click to vote
IJCAT
2007
15 years 2 months ago
2007
: The applications of 3D-virtual environments and Voice User Interface (VUI) on personal computers have received significant attention in recent years. Since speech is the most nat...