686 search results - page 90 / 138 » Automatic Model Generation Strategies for Model Transformati... |
106
click to vote
ICB
2007
Springer
15 years 6 months ago
2007
Springer
Face recognition in video has gained wide attention due to its role in designing surveillance systems. One of the main advantages of video over still frames is that evidence accumu...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
114
click to vote
DIS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We investigate a generative latent variable model for modelbased word saliency estimation for text modelling and classification. The estimation algorithm derived is able ...
111
click to vote
FAC
2008
14 years 12 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
118
click to vote
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
A fuzzy logic algorithm has been developed that automatically allocates electronic attack (EA) resources distributed over different platforms in real-time. The controller must be ...