8933 search results - page 397 / 1787 » Usability over time |
182
Voted
FUIN
2008
15 years 7 months ago
2008
This paper presents a cancellation theorem for the preorders in van Glabbeek's linear time-branching time spectrum over BCCSP. Apart from having some intrinsic interest, the p...
143
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The running maximum-minimum (MAX-MIN) filter computes the maxima and minima over running windows of size w. This filter has numerous applications in signal processing and time seri...
147
click to vote
MLQ
2002
15 years 6 months ago
2002
In this paper it is shown that the intuitionistic fixed point theory ID i (strict) for times iterated fixed points of strictly positive operator forms is conservative for negativ...
165
Voted
GIS
2010
ACM
15 years 5 months ago
2010
ACM
We provide an algorithm that can construct a valid moving region from snapshots of a region in time. Our algorithm is robust in the sense that given valid input regions, the gener...
208
click to vote
DLOG
2011
14 years 10 months ago
2011
We show that, although conjunctive queries over OWL 2 QL ontologies are reducible to database queries, no algorithm can construct such a reduction in polynomial time without changi...