288 search results - page 13 / 58 » Interactive Termination Proofs Using Termination Cores |
CN
2008
14 years 9 months ago
2008
The concept of synergy between broadcasting and telecommunication networks has been strengthened by the emergence of multi-modal terminals, which are used in a broadcast environme...
APLAS
2009
ACM
15 years 1 months ago
2009
ACM
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable ...
ENTCS
2007
14 years 9 months ago
2007
The dependency pairs method is one of the most powerful technique for proving termination of rewriting and it is currently central in most automatic termination provers. Recently,...
105
click to vote
ICDAR
2003
IEEE
15 years 2 months ago
2003
IEEE
Despite all the attempts of modern information technology to supplant paper by sophisticated electronic devices, paper is still omnipresent in virtually any office environment. W...
MM
1993
ACM
15 years 1 months ago
1993
ACM
This paper describes Phoneshell, a telephone based application providing remote voice access to personal desktop databases such as voice mail, email, calendar, and rolodex. Severa...