5055 search results - page 192 / 1011 » Relative Timing |
177
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We have compared the performance of five non-commercial triple stores, Virtuoso-open source, Jena SDB, Jena TDB, SWIFT-OWLIM and 4Store. We examined three performance aspects: the ...
189
click to vote
TIME
2007
IEEE
16 years 20 days ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...
157
click to vote
ECCC
2010
15 years 6 months ago
2010
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show t...
180
click to vote
SPATIALCOGNITION
2004
Springer
15 years 11 months ago
2004
Springer
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
182
click to vote
ALGORITHMICA
2008
15 years 6 months ago
2008
In this paper we present techniques to significantly improve the space complexity of several ordered tree comparison algorithms without sacrificing the corresponding time complexit...