899 search results - page 83 / 180 » A Temporal Language for SystemC |
124
click to vote
BIRTHDAY
1997
Springer
15 years 8 months ago
1997
Springer
The structures of space and time are identified as essential for the realization of cognitive systems. It is suggested that the omnipresence of space and time may have been respons...
166
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Classic algorithms for sequential pattern discovery, return all frequent sequences present in a database. Since, in general, only a few ones are interesting from a user's poin...
131
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its ...
117
click to vote
JNCA
2007
15 years 4 months ago
2007
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
169
click to vote
ACL
2009
15 years 2 months ago
2009
This work describes an online application that uses Natural Language Generation (NLG) methods to generate walking directions in combination with dynamic 2D visualisation. We make ...