4922 search results - page 213 / 985 » Internet time out |
126
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
133
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper gives an overview of results of the project "Beyond Timed Automata" carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysi...
135
click to vote
CLEIEJ
2006
15 years 4 months ago
2006
This paper is an application of Ant Colony Metaheuristic (ACO) to the problem of image fractal compression using IFS. An ACO hybrid algorithm is proposed for image fractal compres...
130
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
In a previous paper we considered the bilateral teleoperation of a wheeled mobile robot over communication channel with constant time delay. In this paper we present experimental ...
113
click to vote
WEBDB
2005
Springer
15 years 10 months ago
2005
Springer
Nonrecursive XQuery is known to be hard for nondeterministic exponential time. Thus it is commonly believed that any algorithm for evaluating XQuery has to require exponential amo...