3557 search results - page 226 / 712 » Reviews |
148
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
203
click to vote
COCO
1995
Springer
15 years 10 months ago
1995
Springer
Over a decade ago, Schoning introduced the concept of lowness into structural complexity theory. Since then a large body of results has been obtained classifying various complexit...
156
click to vote
CRYPTO
1995
Springer
15 years 10 months ago
1995
Springer
We review the well-known relation between Lucas sequences and exponentiation. This leads to the observation that certain public-key cryptosystems that are based on the use of Lucas...
174
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...
178
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
2 Multi-view Integration: A Review We address the problem of constructing a boundary model of an object when the input consists of a set of points that lie on its surface. We assum...