7991 search results - page 348 / 1599 » Using More Reasoning to Improve |
214
Voted
SIGMOD
2008
ACM
15 years 6 months ago
2008
ACM
The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Drive...
175
click to vote
FM
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
189
Voted
PLILP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
180
click to vote
GIS
2009
ACM
15 years 10 months ago
2009
ACM
In an active WSN where user queries are regularly processed, a significant proportion of nodes relay and overhear data generated by other nodes in the network. In this paper, we ...
187
click to vote
FLAIRS
2007
15 years 9 months ago
2007
This paper addresses the issue of learning from communication among agents that work in the same domain, are capable of learning from examples, and communicate using an argumentat...