3844 search results - page 270 / 769 » Modular interpreted systems |
122
click to vote
IUI
2000
ACM
15 years 8 months ago
2000
ACM
This article is about applications that can be customized or extended through their own user interface. This is achieved by the interface’s ability to interpret users’ non-lit...
118
click to vote
EMNLP
2006
15 years 5 months ago
2006
NLP systems for tasks such as question answering and information extraction typically rely on statistical parsers. But the efficacy of such parsers can be surprisingly low, partic...
144
click to vote
FORTE
1998
15 years 5 months ago
1998
Message Sequence Charts (MSCs) are a graphical and textual language for the speci cation of message passing systems, in particular telecommunication systems. MSCs are standardised...
131
click to vote
USENIX
1990
15 years 5 months ago
1990
Dbx is the standard source-level debugger on most Unix1 workstations. Over the past six years Dbx has grown from a debugger for interpreted Pascal programs to a debugger for compi...
134
click to vote
IANDC
2007
15 years 4 months ago
2007
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependen...