1054 search results - page 173 / 211 » A Formalization of the Turing Test |
107
click to vote
DAWAK
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Data warehouses (DW) main objective is to facilitating decisionmaking. Thus their development has to take into account DW project actor requirements. While much recent re...
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
Inconsistency between metadata and code customizations is a major concern in modern, configurable enterprise systems. The increasing reliance on metadata, in the form of XML files,...
132
click to vote
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
117
click to vote
CRITIS
2007
15 years 1 months ago
2007
We propose and investigate a game-theoretic approach to the malware filtering and detector placement problem which arises in network security. Our main objective is to develop opt...
112
click to vote
IESA
2007
15 years 1 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...