227 search results - page 39 / 46 » Software Testing Research: Achievements, Challenges, Dreams |
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
AAAI
2007
13 years 11 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...
ICNP
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we describe a multi-agent simulation called the Human Agent Virtual Environment (or HAVE). HAVE is a test bed to explore agent-environment interaction in multiagent ...
SCFBM
2008
13 years 8 months ago
2008
Background: Biological imaging is an emerging field, covering a wide range of applications in biological and clinical research. However, while machinery for automated experimentin...