80 search results - page 8 / 16 » A concepts-first introduction to computer science |
358
click to vote
Tutorial
A very detailed and easy to follow tutorial on the EM algorithm.
217
Voted
Presentation
Very easy to read tutorial about scalar visualization in VTK.
157
click to vote
RTA
2007
Springer
16 years 21 days ago
2007
Springer
The use of automata techniques to prove the termination of string rewrite systems and left-linear term rewrite systems is advocated by Geser et al. in a recent sequence of papers. ...
209
click to vote
TLCA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
332
click to vote
Lecture Notes
The lecture notes cover the following topics,
Course Overview , Data Communications and Networking Overview , Data Transmission , Transmission Media , Signal Encoding Techniques ...