2414 search results - page 327 / 483 » Reasoning Support for OWL-E |
181
click to vote
ICCBR
2005
Springer
16 years 12 days ago
2005
Springer
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...
165
click to vote
ICCSA
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper, we propose a novel hierarchical routing protocol for a large wireless sensor network (WSN) wherein sensors are arranged into a multi-layer architecture wit...
163
click to vote
ILP
2005
Springer
16 years 11 days ago
2005
Springer
We introduce a novel method for relational learning with neural networks. The contributions of this paper are threefold. First, we introduce the concept of relational neural networ...
199
click to vote
LPAR
2005
Springer
16 years 11 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
195
click to vote
OTM
2005
Springer
16 years 11 days ago
2005
Springer
In ubiquitous computing, behavior routine learning is the process of mining the context-aware data to find interesting rules on the user’s behavior, while preference learning tri...