Sciweavers

10802 search results - page 361 / 2161
» Generative and developmental systems
Sort
View
FDL
2005
IEEE
15 years 10 months 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
163
Voted
ACL
1992
15 years 6 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
AIM
2000
15 years 4 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...
138
Voted
ECAI
2004
Springer
15 years 10 months 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»
15 years 11 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