3680 search results - page 42 / 736 » cases 2010 |
194
click to vote
PERCOM
2010
ACM
15 years 3 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
164
click to vote
STTT
2010
15 years 3 months ago
2010
This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. In order to qualify for this purpose, a graph transformation s...
148
click to vote
FLAIRS
2010
15 years 3 months ago
2010
Pervasive computing requires the ability to detect user activity in order to provide situation-specific services. Case-based reasoning can be used for activity recognition by usin...
161
click to vote
ICCBR
2010
Springer
15 years 3 months ago
2010
Springer
How to reuse or adapt past solutions to new problems is one of the least understood problems in case-based reasoning. In this paper we will focus on the problem of how to combine s...
146
click to vote
IFIP12
2010
15 years 3 months ago
2010
We are interested in developing tools to support the activities of lawyers in corporate litigation. In current applications, information such as characters that have played a signi...