Sciweavers

10802 search results - page 361 / 2161
» Generative and developmental systems
Sort
View
FDL
2005
IEEE
16 years 10 days ago
PSL-based online monitoring of digital systems
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
D. Borionne, M. Liu, P. Ostier, Laurent Fesquet
ACL
1992
15 years 8 months ago
Linear Context-Free Rewriting Systems and Deterministic Tree-Walking Transducers
We show that the class of string languages generated by linear context-free rewriting systems is equal to the class of output languages of deterministic treewalking transducers. F...
David J. Weir
170
Voted
AIM
2000
15 years 6 months ago
Three RoboCup Simulation League Commentator Systems
Three systems which generate real-time natural language commentary on the RoboCup simulation league are presented, and their similarities, di erences and directions for the future...
Elisabeth André, Kim Binsted, Kumiko Tanaka...
ECAI
2004
Springer
16 years 4 days ago
SPortS: Semantic + Portal + Service
Ontology-based web portal generation and management is an active field of research and development. Recently, many systems have been developed. However, many of them lack the inte...
Chenxi Lin, Lei Zhang, Jian Zhou, Yin Yang, Yong Y...
DSD
2008
IEEE
79views Hardware» more  DSD 2008»
16 years 1 months ago
Digital Systems Architectures Based on On-line Checkers
In this paper, a methodology for generating VHDL descriptions of hardware checkers is presented. It is shown how the methodology can be used to generate on-line checkers of commun...
Martin Straka, Zdenek Kotásek, Jan Winter