2947 search results - page 324 / 590 » Analyzing Program Analyses |
166
click to vote
ISMIR
2005
Springer
16 years 4 days ago
2005
Springer
The focus of this paper is on ENP-expressions that can be used for annotating ENP scores with user definable information. ENP is a music notation program written in Lisp and CLOS...
165
click to vote
ECAI
2004
Springer
16 years 21 hour ago
2004
Springer
Abstract. In spite of the significant evolution of spelling and grammar checkers for word-processing software, the problem of judging the appropriateness of language usage in diff...
208
click to vote
FOSSACS
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
183
click to vote
IWDC
2004
Springer
15 years 12 months ago
2004
Springer
An Intrusion Detection System (IDS) is a program that analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. Th...
142
click to vote
ICALT
2003
IEEE
15 years 12 months ago
2003
IEEE
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...