23201 search results - page 99 / 4641 » Rewriting Systems with Data |
130
click to vote
HOTOS
2007
IEEE
15 years 9 months ago
2007
IEEE
AJAX-based web applications are enabling the next generation of rich, client-side web applications, but today's web application developers do not have the end-to-end visibili...
152
click to vote
SIGIR
2002
ACM
15 years 5 months ago
2002
ACM
This paper describes a question answering system that is designed to capitalize on the tremendous amount of data that is now available online. Most question answering systems use ...
192
click to vote
PEPM
2010
ACM
15 years 7 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
146
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
152
click to vote
DEXA
1993
Springer
15 years 9 months ago
1993
Springer
We describe an integration of the hypermedia system HyperPATH with the object-oriented DBMS (OODBMS) O¡ . Providing persistence to a hypertext system was the first motivation of...