10271 search results - page 436 / 2055 » Computer Science |
220
click to vote
Book
"This book on applications of logic in the semantic analysis of language pays the
reader the compliment of not assuming anything about what he or she knows (in particular, no...
226
click to vote
Source Code
Very effective Matlab library that implements the fast marching methods for both 2D/3D Cartesian spaces and triangulated surfaces (Meshes). It also implements the Farthest Point Sa...
266
click to vote
Publication
A great technical report describing the work of T.F. Cootes and C.J.Taylor in the area of
Active Shape Models and Active Appearance Models.
132
click to vote
LICS
2008
IEEE
15 years 11 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 ...
116
Voted
WIA
1999
Springer
15 years 9 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...