2487 search results - page 69 / 498 » cases 2009 |
93
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
We present a new distributed algorithm for state space minimization modulo branching bisimulation. Like its predecessor it uses signatures for refinement, but the refinement proce...
143
Voted
DLOG
2009
14 years 10 months ago
2009
I will provide an overview of many of the use cases that we looked at to apply OWL ABox reasoning in the real world. The fields we covered included (a) healthcare, and life science...
106
Voted
ICCBR
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Retrieval of structured cases using similarity has been studied in CBR but there has been less activity on defining similarity on description logics (DL). In this paper w...
111
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
105
Voted
ACIVS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In this paper we present a method for unusual activity recognition that is used in home environment monitoring. Monitoring systems are needed in elderly persons homes to ...