4745 search results - page 157 / 949 » Discretization: An Enabling Technique |
132
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
154
click to vote
ATVA
2005
Springer
15 years 12 months ago
2005
Springer
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...
143
click to vote
ACL
2007
15 years 8 months ago
2007
This paper describes the latest version of speech-to-speech translation systems developed by the team of NICT-ATR for over twenty years. The system is now ready to be deployed for...
167
click to vote
ICECCS
2005
IEEE
16 years 1 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
165
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
Paleoclimatology requires the analysis of paleo time-series, obtained from a number of independent techniques and instruments, produced by several researchers and/or laboratories. ...