3342 search results - page 435 / 669 » Automating Abstract Interpretation |
92
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
101
Voted
LCPC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
93
Voted
MICAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Often, qualitative values have an ordering, such as (veryshort, short, medium-height, tall) or a hierarchical level, such as (TheWorld, Europe, Spain, Madrid), which are ...
TSD
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Translation of Multi-word expressions (MWEs) is one of the most challenging tasks of a Machine translation (MT) system. In this paper, we present an innovative technique ...
88
Voted
CAISE
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Decision-support systems provide a large functionality supporting the decision making process. They allow to draw conclusions from data provided by users. In order to be ...