2490 search results - page 459 / 498 » Complexity of Contextual Reasoning |
242
Voted
LOPSTR
2005
Springer
16 years 27 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
204
Voted
POLICY
2005
Springer
16 years 26 days ago
2005
Springer
Policy-based management provides the ability to (re-)configure differentiated services networks so that desired Quality of Service (QoS) goals are achieved. Relevant configuration...
191
Voted
RTA
2005
Springer
16 years 26 days ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
236
click to vote
VLDB
2005
ACM
16 years 26 days ago
2005
ACM
Developing cost models for query optimization is significantly harder for XML queries than for traditional relational queries. The reason is that XML query operators are much mor...
229
Voted
IUI
2004
ACM
16 years 25 days ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...