2501 search results - page 376 / 501 » Logics with Rank Operators |
186
click to vote
LICS
2008
IEEE
16 years 25 days ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
156
click to vote
HYBRID
2007
Springer
16 years 18 days ago
2007
Springer
Given a switched multi–inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function relat...
191
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
147
click to vote
WDAG
1989
Springer
15 years 10 months ago
1989
Springer
We focus on unreliable asynchronous shared memory model which support only atomic read and write operations. For such a model we provide a necessary condition for the solvability ...
180
click to vote
SIGIR
1995
ACM
15 years 10 months ago
1995
ACM
The full integration of information retrieval (IR) features into a database management system (DBMS) has long been recognized as both a significant goal and a challenging undertak...