4403 search results - page 54 / 881 » Galois Theory of Algorithms |
158
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We present some theoretical results related to the problem
of actively searching for a target in a 3D environment,
under the constraint of a maximum search time. We define
the o...
160
click to vote
PODS
2003
ACM
16 years 6 months ago
2003
ACM
Computing frequent itemsets and maximally frequent itemsets in a database are classic problems in data mining. The resource requirements of all extant algorithms for both problems...
175
click to vote
SAC
2010
ACM
16 years 29 days ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
151
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
153
click to vote
REX
1991
15 years 9 months ago
1991
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...