3199 search results - page 111 / 640 » Variability in Automation System Models |
ICAPR
2005
Springer
15 years 7 months ago
2005
Springer
The ATRIUM project aims to the automatic detection of threats hidden under clothes using millimetre-wave imaging. We describe a simulator of realistic millimetre-wave images and a...
102
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We present an approach to hybrid semantic Web service matching that complements logic based reasoning with approximate matching based on syntactic IR based similarity computations...
110
Voted
AAAI
2007
15 years 4 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
146
click to vote
ASE
2006
15 years 2 months ago
2006
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
125
click to vote
FAC
2010
15 years 27 days ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...