580 search results - page 43 / 116 » Approximation Algorithms for Temporal Reasoning |
118
click to vote
IJCAI
2007
15 years 3 months ago
2007
Diagnosability of systems is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. Generally, in the l...
138
click to vote
SWAT
2010
Springer
15 years 9 days ago
2010
Springer
In this paper we describe an algorithm to approximately solve a class of semidefinite programs called covering semidefinite programs. This class includes many semidefinite programs...
117
click to vote
IJON
2008
15 years 2 months ago
2008
Real-world data sets such as recordings from functional magnetic resonance imaging often possess both spatial and temporal structure. Here, we propose an algorithm including such ...
121
click to vote
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we consider the problem of computing a minimum cycle basis in a graph G with m edges and n vertices. The edges of G have non-negative weights on them. The p...
114
click to vote
CIS
2004
Springer
15 years 7 months ago
2004
Springer
For finding accurate and biologically meaningful multiple sequence alignment, it is required to consider a loosely constrained version of multiple sequence alignment. This paper is...