1786 search results - page 199 / 358 » Domain Independent Generative Modeling |
128
click to vote
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
We propose a new methodology for fusing temporally changing multisensor raster and vector data by developing a spatially and temporally varying uncertainty model of acquired and t...
149
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
112
Voted
CIMCA
2006
IEEE
15 years 10 months ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
132
click to vote
IADIS
2004
15 years 5 months ago
2004
Inductive reasoning is one of the important characteristics of human intelligence. Researchers have regarded inductive reasoning as one of the seven primary mental abilities that ...
163
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...