Sciweavers

218 search results - page 6 / 44
» Information Based Intonation Synthesis
Sort
View
WWW
2009
ACM
14 years 10 months ago
Automated synthesis of composite services with correctness guarantee
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, ...
ATVA
2007
Springer
111views Hardware» more  ATVA 2007»
14 years 4 months ago
Timed Control with Observation Based and Stuttering Invariant Strategies
In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be b...
Franck Cassez, Alexandre David, Kim Guldstrand Lar...
ICCAD
2009
IEEE
119views Hardware» more  ICCAD 2009»
13 years 7 months ago
Iterative layering: Optimizing arithmetic circuits by structuring the information flow
Current logic synthesis techniques are ineffective for arithmetic circuits. They perform poorly for XOR-dominated circuits, and those with a high fan-in dependency between inputs ...
Ajay K. Verma, Philip Brisk, Paolo Ienne
EUROSSC
2008
Springer
13 years 11 months ago
Synthesizing Context for a Sports Domain on a Mobile Device
Abstract. In ubiquitous computing environments there are an increasing number and variety of devices that can generate context data. The challenge is to timely acquire, process, an...
Alisa Devlic, Michal Koziuk, Wybe Horsman
NPL
2000
138views more  NPL 2000»
13 years 9 months ago
Neural Net Based Hybrid Modeling of the Methanol Synthesis Process
A Hybrid modeling approach, combining an analytical model with a radial basis function neural network is introduced in this paper. The modeling procedure is combined with genetic a...
Primoz Potocnik, Igor Grabec, Marko Setinc, Janez ...