32545 search results - page 608 / 6509 » Data Structures and Algorithms |
182
click to vote
TACAS
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
181
click to vote
IJCAI
2001
15 years 8 months ago
2001
We present a machine learning algorithm for refining the structure of a stochastic context
191
click to vote
UM
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
215
click to vote
CIKM
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we present SPADE, a new algorithm for fast discovery of Sequential Patterns. The existing solutions to this problem make repeated database scans, and use complex has...
202
click to vote
SODA
2001
ACM
15 years 8 months ago
2001
ACM
Point location is the problem of preprocessing a planar polygonal subdivision S into a data structure in order to determine efficiently the cell of the subdivision that contains a...