1058 search results - page 78 / 212 » Using Different Representations of Synchronous Systems in SA... |
183
click to vote
COMMA
2010
15 years 1 months ago
2010
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
174
click to vote
PEPM
2007
ACM
16 years 20 days ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
163
click to vote
FAST
2010
15 years 9 months ago
2010
Journaling is a widely used technique to increase file system robustness against metadata and/or data corruptions. While the overhead of journaling can be masked by the page cache...
158
click to vote
LREC
2008
15 years 8 months ago
2008
Tokenization is one of the initial steps done for almost any text processing task. It is not particularly recognized as a challenging task for English monolingual systems but it r...
167
click to vote
ACL
1992
15 years 7 months ago
1992
I argue that because of spelling and typing errors and other properties of typed text, the identification of words and word boundaries in general requires syntactic and semantic k...