8431 search results - page 1278 / 1687 » Algorithmically Independent Sequences |
177
Voted
CASC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
166
click to vote
FSTTCS
2005
Springer
16 years 9 days ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
221
click to vote
IEAAIE
2005
Springer
16 years 8 days ago
2005
Springer
Prediction is an important task in robot motor control where it is used to gain feedback for a controller. With such a self-generated feedback, which is available before sensor rea...
193
click to vote
PKDD
2005
Springer
16 years 7 days ago
2005
Springer
Location-awareness and prediction of future locations is an important problem in pervasive and mobile computing. In cellular systems (e.g., GSM) the serving cell is easily availabl...
163
click to vote
SPIRE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We introduce a new data structure, called MiGaL for “Multiple Graph Layers”, that is composed of various graphs linked together ions of abstraction/refinement. The n...