10392 search results - page 475 / 2079 » Introduction to Computer Science |
173
click to vote
LICS
2008
IEEE
16 years 2 months ago
2008
IEEE
Using appropriate notation systems for proofs, cutreduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system ...
161
click to vote
WIA
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. In computer science methods to aid learning are very imporcause abstract models are used frequently. For this conventional teaching methods do not suffice. We have develo...
216
click to vote
ACMSE
2009
ACM
15 years 11 months ago
2009
ACM
Most recent graphics courses are what we would call topdown courses. Courses that focus on using graphical packages to implement and teach graphics. The course discussed in this p...
432
click to vote
Book
The book covers the fundamental techniques of computer vision such as template matching, segmentation, edge detection, convolution, etc
192
click to vote
ICALP
2003
Springer
16 years 26 days ago
2003
Springer
We describe several computational problems on prediction and design of RNA molecules.