3759 search results - page 577 / 752 » Natural language processing of lyrics |
187
click to vote
MODELS
2007
Springer
16 years 15 days ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
158
click to vote
MODELS
2007
Springer
16 years 15 days ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
152
click to vote
FDL
2005
IEEE
16 years 1 hour 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...
198
click to vote
HASKELL
2005
ACM
15 years 12 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
155
click to vote
IUI
2005
ACM
15 years 12 months ago
2005
ACM
Personal assistants need to allow the user to interact with the system in a flexible and adaptive way such as through spoken language dialogue. In this research we focus on an ap...