Sciweavers

2607 search results - page 79 / 522
» Complete Functional Synthesis
Sort
View
ACSD
2001
IEEE
91views Hardware» more  ACSD 2001»
15 years 7 months ago
Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
Marta Pietkiewicz-Koutny
ATAL
2010
Springer
15 years 4 months ago
Exploiting domain knowledge to improve norm synthesis
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown...
George Christelis, Michael Rovatsos, Ronald P. A. ...
156
Voted
TASLP
2002
87views more  TASLP 2002»
15 years 3 months ago
A set of corpus-based text-to-speech synthesis technologies for Mandarin Chinese
This paper presents a set of corpus-based text-to-speech synthesis technologies for Mandarin Chinese. A large speech corpus produced by a single speaker is used, and the speech out...
Fu-Chiang Chou, Chiu-yu Tseng, Lin-Shan Lee
134
Voted
ICRA
1998
IEEE
147views Robotics» more  ICRA 1998»
15 years 7 months ago
Biologically Inspired Robot Grasping Using Genetic Programming
This paper describes the innovative use of a genetic algorithm to solve the grasp synthesis problem for multifingered robot hands. The goal of our algorithm is to select a `best&#...
Jaime J. Fernandez, Ian D. Walker
INTEGRATION
2008
183views more  INTEGRATION 2008»
15 years 3 months ago
Network-on-Chip design and synthesis outlook
With the growing complexity in consumer embedded products, new tendencies forecast heterogeneous Multi-Processor SystemsOn-Chip (MPSoCs) consisting of complex integrated component...
David Atienza, Federico Angiolini, Srinivasan Mura...