Sciweavers

12950 search results - page 208 / 2590
» On Optimal Timed Strategies
Sort
View
116
Voted
ICALP
2007
Springer
15 years 10 months ago
Minimum-Time Reachability in Timed Games
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Pr...
WSC
2008
15 years 7 months ago
Nonlinear process modeling and optimization based on Multiway Kernel Partial Least Squares model
MKPLS (Multiway Kernel Partial Least Squares) methods are used to model the batch processes from process operational data. To improve the optimization performance, a batch-to-batc...
Liqing Di, Zhihua Xiong, XianHui Yang
163
Voted
SIGMOD
2004
ACM
148views Database» more  SIGMOD 2004»
16 years 4 months ago
Vertical and Horizontal Percentage Aggregations
Existing SQL aggregate functions present important limitations to compute percentages. This article proposes two SQL aggregate functions to compute percentages addressing such lim...
Carlos Ordonez
ICCAD
1997
IEEE
117views Hardware» more  ICCAD 1997»
15 years 8 months ago
Decomposition of timed decision tables and its use in presynthesis optimizations
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...
Jian Li, Rajesh K. Gupta
CERA
2010
105views more  CERA 2010»
15 years 4 months ago
Implications of Alternative Multilevel Design Methods for Design Process Management
Multilevel design problems are typically decomposed into a hierarchy of distributed and strongly coupled sub-problems, each solved by design teams with specialized knowledge and t...
David Shahan, Carolyn Seepersad Seepersad