18209 search results - page 214 / 3642 » Some Remarks on the Paper |
193
click to vote
SP
2000
IEEE
15 years 11 months ago
2000
IEEE
This position paper addresses some of the benefits and drawbacks for security of open access to source code. After a discussion of alternative models for open access to source cod...
140
click to vote
DGCI
2000
Springer
15 years 11 months ago
2000
Springer
The paper presents a new method of investigating topological properties of three-dimensional manifolds by means of computers. Manifolds are represented as finite cell complexes. Th...
130
click to vote
IJAC
2008
15 years 6 months ago
2008
This paper begins the development of a theory of what we will call symplectic alternating algebras. They have arisen in the study of 2-Engel groups but seem also to be of interest...
159
click to vote
ENTCS
2007
15 years 6 months ago
2007
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possi...
435
click to vote
Dataset
A set of silhouette images that can be used during testing a new centerline extraction technique. Some of the images are drawn by hand, while others are collected from several clas...