11716 search results - page 270 / 2344 » Computable symbolic dynamics |
188
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
143
click to vote
ICS
1995
Tsinghua U.
15 years 10 months ago
1995
Tsinghua U.
The elimination of induction variables and the parallelization of reductions in FORTRAN programs have been shown to be integral to performance improvement on parallel computers 7,...
158
click to vote
AAAI
1993
15 years 8 months ago
1993
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
160
click to vote
SSDBM
2008
IEEE
16 years 1 months ago
2008
IEEE
Given a query tuple q, the dynamic skyline query retrieves the tuples that are not dynamically dominated by any other in the data set with respect to q. A tuple dynamically dominat...
196
click to vote
EVOW
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Dynamic optimization using evolutionary algorithms is receiving increasing interests. However, typical test functions for comparing the performance of various dynamic opt...