388 search results - page 41 / 78 » Quantifying Similarities Between Timed Systems |
101
click to vote
WCRE
2007
IEEE
15 years 6 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...
132
click to vote
VISUALIZATION
2002
IEEE
15 years 4 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
15 years 12 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...
108
click to vote
SEMWEB
2009
Springer
15 years 6 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...
118
click to vote
ISWC
2000
IEEE
15 years 4 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...