5634 search results - page 878 / 1127 » About Abstract Classes |
191
click to vote
RULEML
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
160
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...
184
click to vote
SEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Context-awareness refers to a computing model where application behavior is driven by a continually-changing environment. Mobile computing poses unique challenges to cont...
176
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Hierarchical Task-Network (HTN) based planning techniques have been applied to the problem of composing Web Services, especially when described using the OWL-S service on...
151
click to vote
SPATIALCOGNITION
2004
Springer
15 years 12 months ago
2004
Springer
Diagrams are an effective means of conveying concrete, abstract or symbolic information about systems. Here, individuals or pairs of participants produced assembly instructions aft...