Sciweavers

4880 search results - page 275 / 976
» Manuals as Structured Programs
Sort
View
139
Voted
CSO
2009
IEEE
15 years 11 months ago
A Special Prosodic Phrasing in Broadcasting News Programs
In order to improve and convey the semantic information perfectly and vividly through synthesized speech, a special prosodic phrasing in broadcasting news programs, namely complex...
Yu Zou, Wei He, Yuqiang Zhang, Min Hou, Weibin Zhu
ICC
2007
IEEE
122views Communications» more  ICC 2007»
15 years 11 months ago
Dynamic Programming for Scheduling a Single Route in Wireless Networks
— Multi-slot resource scheduling in a general two dimensional wireless ad hoc network, is a hard problem with no known polynomial-time solution. Recent optimization theoretic ana...
Gyouhwan Kim, Rohit Negi
CAV
2005
Springer
86views Hardware» more  CAV 2005»
15 years 10 months ago
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
Eric Vecchié, Robert de Simone
EUROGP
2005
Springer
107views Optimization» more  EUROGP 2005»
15 years 10 months ago
Operator-Based Distance for Genetic Programming: Subtree Crossover Distance
Abstract. This paper explores distance measures based on genetic operators for genetic programming using tree structures. The consistency between genetic operators and distance mea...
Steven M. Gustafson, Leonardo Vanneschi
FIDJI
2003
Springer
15 years 9 months ago
Model Generation for Distributed Java Programs
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
Rabéa Boulifa, Eric Madelaine