6315 search results - page 1085 / 1263 » Approximating Solution Structure |
103
click to vote
WISE
2005
Springer
15 years 8 months ago
2005
Springer
The Web is a distributed network of information sources where the individual sources are autonomously created and maintained. Consequently, syntactic and semantic heterogeneity of ...
141
click to vote
SACMAT
2005
ACM
15 years 8 months ago
2005
ACM
With continuously growing numbers of applications, enterprises face the problem of efficiently managing the assignment of access permissions to their users. On the one hand, secur...
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
112
Voted
CIS
2005
Springer
15 years 8 months ago
2005
Springer
⎯A new nonslicing floorplan representation, the moving block sequence (MBS), is proposed in this paper. Our idea of the MBS originates from the observation that placing blocks on...
140
Voted
CSL
2005
Springer
15 years 8 months ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...