Sciweavers

3679 search results - page 1 / 736
» Hybrid Semantic Analysis
Sort
View
ATVA
2006
Springer
158views Hardware» more  ATVA 2006»
13 years 8 months ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
TSD
2009
Springer
13 years 11 months ago
Hybrid Semantic Analysis
— This article is focused on the problem of meaning recognition in spoken utterances. The goal is to find a computer algorithm capable to construct the meaning description of a ...
Miloslav Konopík, Ivan Habernal
POLICY
2007
Springer
13 years 11 months ago
Policy Analysis Using a Hybrid Semantic Reasoning Engine
Kris Verlaenen, Bart De Win, Wouter Joosen