3679 search results - page 404 / 736 » Hybrid Semantic Analysis |
191
click to vote
MEMOCODE
2006
IEEE
16 years 1 months 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...
191
Voted
WCRE
2006
IEEE
16 years 1 months 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...
269
click to vote
ICMCS
2005
IEEE
16 years 1 months 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-...
210
click to vote
ICLP
2005
Springer
16 years 1 months 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...
215
Voted
FORMATS
2003
Springer
16 years 21 days 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...