2632 search results - page 204 / 527 » Alternating Timed Automata |
251
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
154
click to vote
JMLR
2006
15 years 4 months ago
2006
Policy search is a method for approximately solving an optimal control problem by performing a parametric optimization search in a given class of parameterized policies. In order ...
150
click to vote
EUROGP
2009
Springer
15 years 2 months ago
2009
Springer
We have created a real-time evolutionary object recognition system. Genetic Programming is used to automatically search the space of possible computer vision programs guided throug...
126
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Classical sampling records the signal level at pre-determined time instances, usually uniformly spaced. An alternative implicit sampling model is to record the timing of pre-deter...
145
click to vote
ASIAN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...