152 search results - page 14 / 31 » Integrating Natural Language Oriented Requirements Models in... |
ACL
2006
13 years 9 months ago
2006
Spoken Language Understanding (SLU) addresses the problem of extracting semantic meaning conveyed in an utterance. The traditional knowledge-based approach to this problem is very...
HRI
2010
ACM
14 years 2 months ago
2010
ACM
—Natural human-robot interaction requires different and more robust models of language understanding (NLU) than non-embodied NLU systems. In particular, architectures are require...
UML
2001
Springer
14 years 1 days ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
CICLING
2001
Springer
14 years 4 days ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...