388 search results - page 41 / 78 » Quantifying Similarities Between Timed Systems |
WCRE
2007
IEEE
14 years 2 months ago
2007
IEEE
As the useful life expectancy of software continues to increase, the task of maintaining the source code has become the dominant phase of the software life-cycle. In order to impr...
VISUALIZATION
2002
IEEE
14 years 1 months ago
2002
IEEE
Comparative evaluation of visualization and experiment results is a critical step in computational steering. In this paper, we present a study of image comparison metrics for quan...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
ISWC
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we present a framework for a navigation system in an indoor environment using only omnidirectional video. Within a Bayesian framework we seek the appropriate place a...