48 search results - page 9 / 10 » On Controlled Natural Languages: Properties and Prospects |
LFCS
2009
Springer
14 years 8 days ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
KR
1991
Springer
13 years 9 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
JOCN
2011
13 years 21 days ago
2011
■ Native language experience plays a critical role in shaping speech categorization, but the exact mechanisms by which it does so are not well understood. Investigating category...
ISORC
2003
IEEE
13 years 11 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
VLSID
2008
IEEE
14 years 3 days ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...