8828 search results - page 1169 / 1766 » Formal methods in practice |
177
Voted
ECSQARU
2001
Springer
15 years 12 months ago
2001
Springer
Abstract A (general) preferential entailment is defined by a “preference relation” among “states”. States can be either interpretations or sets of interpretations, or “c...
179
Voted
EMSOFT
2001
Springer
15 years 12 months ago
2001
Springer
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...
179
Voted
JSSPP
2001
Springer
15 years 12 months ago
2001
Springer
Networks of Workstations (NOW) have become important and cost-effective parallel platforms for scientific computations. In practice, a NOW system is heterogeneous and non-dedicat...
203
Voted
NLPRS
2001
Springer
15 years 12 months ago
2001
Springer
The accuracy of part-of-speech (POS) tagging for unknown words is substantially lower than that for known words. Considering the high accuracy rate of up-to-date statistical POS t...
205
click to vote
PADO
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...