3679 search results - page 404 / 736 » Hybrid Semantic Analysis |
174
click to vote
MEMOCODE
2006
IEEE
16 years 22 days ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
170
click to vote
WCRE
2006
IEEE
16 years 22 days ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
236
click to vote
ICMCS
2005
IEEE
16 years 10 days ago
2005
IEEE
The development of mid-level concepts helps to bridge the gap between low-level feature and high-level semantics in video analysis. Most existing work combines the customized mid-...
183
click to vote
ICLP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
198
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...