12745 search results - page 337 / 2549 » Automating test automation |
144
click to vote
IADIS
2004
15 years 8 months ago
2004
In this paper we address the issue of automating systems management. Currently, any changes made in the configuration settings of the IT infrastructure in an enterprise are perfor...
164
click to vote
IJCAI
1997
15 years 8 months ago
1997
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
196
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
165
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
Computer simulation is used extensively both as an educational tool and within industry. It can be employed as a means of developing a new process or system or as a means of exper...
193
Voted
IDEAL
2010
Springer
15 years 5 months ago
2010
Springer
Automated Planning is a very active area of research within Artificial Intelligence. Broadly this discipline deals with the methods by which an agent can independently determine t...