5243 search results - page 804 / 1049 » Reasoning About Strategies |
156
click to vote
ROBOCUP
2004
Springer
15 years 12 months ago
2004
Springer
We show that all published visual data processing methods for the simulated robotic soccer so far were not utilizing all available information, because they were mainly based on he...
183
click to vote
RULEML
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
162
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
197
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
198
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
Query containment is the most fundamental relationship between a pair of database queries: a query Q is said to be contained in a query Q if the answer for Q is always a subset of...