29 search results - page 5 / 6 » On model checking multiple hybrid views |
OTM
2005
Springer
14 years 1 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Current hidden Markov acoustic modeling for large vocabulary continuous speech recognition (LVCSR) relies on the availability of abundant labeled transcriptions. Given that speech...
AAMAS
2008
Springer
13 years 7 months ago
2008
Springer
We present the MOdel of Organisational Change using Agents (MOCHA) as a means to formally specify, check and simulate organisations and their changes using agents. We define the s...
USAB
2008
13 years 9 months ago
2008
The present study examines the relative importance of a series of known and expected factors that highly affect threat detection performance in aviation security X-ray screening. E...
ETFA
2006
IEEE
13 years 11 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...