700 search results - page 80 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
105
click to vote
SPATIALCOGNITION
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In the context of a research about application of dynamic visualisation parameters in animations for monitoring purposes, this paper reports on characteristics of dynamic...
122
click to vote
IJAOSE
2010
14 years 11 months ago
2010
: The complexity and scope of software systems continues to grow. One approach to dealing with this growing complexity is the use of intelligent, multi-agent systems. However, due ...
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
162
click to vote
LPAR
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
109
click to vote
EICS
2009
ACM
15 years 8 months ago
2009
ACM
The Open Interface Development Environment (OIDE) was developed as part of the OpenInterface (OI) platform, an open source framework for the rapid development of multimodal intera...