3169 search results - page 237 / 634 » Robust Timed Automata |
125
click to vote
SCP
1998
15 years 4 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
162
click to vote
ICIAR
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. In this paper we propose a method for automating the process of detecting regions of motion in a video sequence in real time. The main idea of this work is to detect moti...
142
click to vote
IJACTAICIT
2010
15 years 2 months ago
2010
Image search engines tend to return a large number of images which the engines consider to be relevant, and such pool of results generally is very large and may be regarded to be ...
187
click to vote
SIGMOD
2004
ACM
16 years 5 months ago
2004
ACM
Virtually every commercial query optimizer chooses the best plan for a query using a cost model that relies heavily on accurate cardinality estimation. Cardinality estimation erro...
164
click to vote
SAFECOMP
2005
Springer
15 years 10 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...