23201 search results - page 90 / 4641 » Rewriting Systems with Data |
171
Voted
RTA
2004
Springer
15 years 10 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
135
Voted
ENTCS
2000
15 years 5 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
187
click to vote
WIDM
2005
ACM
15 years 11 months ago
2005
ACM
In XML retrieval, two distinct approaches have been established and pursued without much cross-fertilization taking place so far. On the one hand, native XML databases tailored to...
164
Voted
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
129
click to vote
CIDR
2009
15 years 6 months ago
2009
R is a numerical computing environment that is widely popular for statistical data analysis. Like many such environments, R performs poorly for large datasets whose sizes exceed t...