5510 search results - page 195 / 1102 » Mathematics |
106
click to vote
JCT
2011
14 years 10 months ago
2011
The circumference of a graph is the length of its longest cycles. Results of Jackson, and Jackson and Wormald, imply that the circumference of a 3-connected cubic n-vertex graph i...
278
click to vote
Book
"Numerical Computing with MATLAB is a textbook for an introductory course
in numerical methods, Matlab, and technical computing. The emphasis is on informed use of mathematic...
124
click to vote
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
Thinnings are very important operators for image analysis developed by mathematical morphology. Their most popular applications are the discrete homotopic skeletons. They are defi...
113
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
This paper proposes a model for short-term content adaptation whose aim is to satisfy the contingent needs of users by adjusting the information a web-application provides on the ...
136
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...