9997 search results - page 120 / 2000 » The case for crowd computing |
ICCBR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Artificial Intelligence techniques have been successfully applied to several computer games. However in some kinds of computer games, like real-time strategy (RTS) games...
EWCBR
1998
Springer
15 years 2 months ago
1998
Springer
Object-oriented case representations require approaches for similarity assessment that allow to compare two differently structured objects, in particular, objects belonging to diff...
AINA
2008
IEEE
14 years 11 months ago
2008
IEEE
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...
DSN
2008
IEEE
14 years 11 months ago
2008
IEEE
We describe a specific application of assurance cases to the problem of ensuring that a transition from a legacy system to its replacement will not compromise mission assurance ob...
104
click to vote
PERCOM
2010
ACM
14 years 7 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 ...