9697 search results - page 456 / 1940 » Intelligent Transportation Systems |
211
click to vote
AISC
2004
Springer
15 years 10 months ago
2004
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. We show how polynomial interpretations with negative coefficients, like x - 1 for...
168
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
190
Voted
ICMLA
2008
15 years 8 months ago
2008
In evolving applications, there is a need for the dynamic selection of algorithms or algorithm parameters. Such selection is hardly ever governed by exact theory, so intelligent r...
191
Voted
FLAIRS
2001
15 years 8 months ago
2001
This paper demonstrates that case-based reasoning is ideally suited to the creation of knowledge management systems. This is because of the close match between the activities of t...
185
click to vote
FLAIRS
2000
15 years 8 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...