4491 search results - page 559 / 899 » Algorithm Engineering |
170
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
186
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
In financial engineering the problem of portfolio selection has drawn much attention in the last decades. But still unsolved problems remain, while on the one hand the type of mod...
203
click to vote
ICDCIT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Many researchers have investigated the problem of storing and querying XML documents using an RDBMS. Two situations are considered in this approach based on whether or no...
147
click to vote
ICESS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In the paper, a portable off-line OCR and bi-linguistic translation system (Chinese to English, English to Chinese)—Electronic Reading Pen (ERPen) is designed and impl...
159
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...