288 search results - page 42 / 58 » Interactive Termination Proofs Using Termination Cores |
183
click to vote
IJFCS
2008
15 years 6 months ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
146
click to vote
MSWIM
2009
ACM
16 years 24 days ago
2009
ACM
In a Multi-hop Wireless Networks (MHWN), packets are routed between source and destination using a chain of intermediate nodes; chains are a fundamental communication structure in...
184
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
The interactive system which interacts human with computer has been recognized as one direction of computer development for a long time. For example, in cinema, a person gets info...
209
click to vote
SIGMOD
2011
ACM
14 years 8 months ago
2011
ACM
Central to a data cleaning system are record matching and data repairing. Matching aims to identify tuples that refer to the same real-world object, and repairing is to make a dat...
175
click to vote
ESA
2009
Springer
16 years 17 days ago
2009
Springer
Consider the robust network design problem of finding a minimum cost network with enough capacity to route all traffic demand matrices in a given polytope. We investigate the impa...