Sciweavers

3113 search results - page 63 / 623
» Efficiently Generating Efficient Generating Extensions in Pr...
Sort
View
ENTCS
2006
111views more  ENTCS 2006»
14 years 9 months ago
A Verified Compiler for Synchronous Programs with Local Declarations
In addition to efficient code generation, causality cycles and schizophrenic statements are major problems for the compilation of synchronous programs. Although these problems are ...
Klaus Schneider, Jens Brandt, Tobias Schüle
ICML
2008
IEEE
15 years 10 months ago
Accurate max-margin training for structured output spaces
Tsochantaridis et al. (2005) proposed two formulations for maximum margin training of structured spaces: margin scaling and slack scaling. While margin scaling has been extensivel...
Sunita Sarawagi, Rahul Gupta
COLING
2000
14 years 11 months ago
Chinese Generation in a Spoken Dialogue Translation System
: A Chinese generation module in a speech to speech dialogue translation system is presented he:re. The input of the generation module is the underspecified semantic representation...
Hua Wu, Taiyi Huang, Chengqing Zong
HICSS
2000
IEEE
104views Biometrics» more  HICSS 2000»
15 years 2 months ago
Placement of Dispersed Generations Systems for Reduced Losses
Recent improvements in fuel cell technology along with an increasing demand for small generator units have led to renewed interest in dispersed generation units. This work demonst...
T. Griffin, K. Tomsovic, D. Secrest, A. Law
DAC
1996
ACM
15 years 1 months ago
Stochastic Sequential Machine Synthesis Targeting Constrained Sequence Generation
- The problem of stochastic sequential machines (SSM) synthesis is addressed and its relationship with the constrained sequence generation problem which arises during power estimat...
Diana Marculescu, Radu Marculescu, Massoud Pedram