18209 search results - page 223 / 3642 » Some Remarks on the Paper |
155
click to vote
VLDB
2000
ACM
15 years 10 months ago
2000
ACM
This paper provides an overview of efforts to create an informatics infrastructure for the biodiversity community. A vast amount of biodiversity information exists, but no compreh...
154
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents some of our requirements for a Z typechecker: that the typechecker accept all well-typeable formulations, however contrived; that it gather informatio...
160
click to vote
CATA
2007
15 years 8 months ago
2007
This paper addresses the issue of determining the iteration bound for a synchronous data flow graph (SDFG) and determining whether or not a SDFG is live based on some calculations...
118
click to vote
FECS
2007
15 years 8 months ago
2007
In this paper, we describe assessment processes at three computer science programs accredited by the Computing Accreditation Commission (CAC) of ABET. Assessment is a vital compon...
202
click to vote
APPINF
2003
15 years 8 months ago
2003
This paper reviews some attempts that exploit a phenomenon, also known as motion parallax, to estimate the distance of closest approach of a moving object. Despite their success, ...