12745 search results - page 2203 / 2549 » Automating test automation |
215
click to vote
ACSW
2006
15 years 9 months ago
2006
In silico bioinformatics experiments involve integration of and access to computational tools and biological databases. The emerging grid computing technologies enable bioinformat...
219
click to vote
AIPS
2006
15 years 9 months ago
2006
Mixed-Initiative approaches to Planning and Scheduling are being applied in different real world domains. While several recent successful examples of such tools encourage a wider ...
181
click to vote
BILDMED
2006
15 years 9 months ago
2006
Developing barley grains are to be visualised by a 4-D model, in which spatiotemporal experimental data can be integrated. The most crucial task lies in the automation of the exten...
200
click to vote
CATE
2004
15 years 9 months ago
2004
The role of assessment and evaluation has recently changed in a way which will have fundamental consequences in applying information and communication technologies (ICTs) to analy...
205
click to vote
CLIMA
2004
15 years 9 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...