18209 search results - page 376 / 3642 » Some Remarks on the Paper |
170
click to vote
TCS
1998
15 years 6 months ago
1998
Parsing schemata provide a high-level formal description of parsers. These can be used, among as an intermediate level of abstraction for deriving the formal correctness of a pars...
150
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
Pedagogy of large lecture classes has traditionally focussed on deemphasizing the problems their size creates. This approach has yielded valuable practical advice for instructors....
116
click to vote
TCS
2002
15 years 6 months ago
2002
The language property of error-detection ensures that the communications medium cannot transform a word of the language to another word of the language. In this paper we provide s...
181
click to vote
TIP
2002
15 years 6 months ago
2002
In this paper, we present a general framework for image restoration; despite its simplicity, certain variational and certain wavelet approaches can be formulated within this framew...
164
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, subgraphs and complementary graphs are used to analyze network synchronizability. Some sharp and attainable bounds are derived for the eigenratio of the network str...