3317 search results - page 302 / 664 » Strategies in Rigid-Variable Methods |
136
click to vote
FM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
163
click to vote
FM
2005
Springer
16 years 7 days ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
170
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
Digital subtraction is a promising technique used in radiographic studies of periapical lesions and other dental disorders for which the treatment must be evaluated over time. Thi...
158
Voted
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
A number of recent studies introduced meta-evolutionary strategies and successfully used them for solving problems in genetic programming. While individual results indicate possib...
172
click to vote
ICIC
2005
Springer
16 years 6 days ago
2005
Springer
Firstly, a method is introduced which uses Volterra series deploying technique to construct a nonlinear model based on OFS model. Then an improved novel incremental mode multiple s...