Sciweavers

17449 search results - page 602 / 3490
» Availability
Sort
View
ENTCS
2002
109views more  ENTCS 2002»
15 years 7 months ago
Induction, Coinduction, and Adjoints
We investigate the reasons for which the existence of certain right adjoints implies the existence of some final coalgebras, and vice-versa. In particular we prove and discuss the...
J. Robin B. Cockett, Luigi Santocanale
IVC
2000
175views more  IVC 2000»
15 years 7 months ago
Uncalibrated Euclidean reconstruction: a review
This paper provides a review on techniques for computing a three-dimensional model of a scene from a single moving camera, with unconstrained motion and unknown parameters. In the...
Andrea Fusiello
JECR
2000
85views more  JECR 2000»
15 years 7 months ago
Real-Time Multi-Auctions and the Agent-Support
Electronic auctions have become popular. Recently, multicast technology is changing the Internet environment for e-commerce, and will make available more forms of auctions than we...
Hong Liu, Shouhong Wang, Fei Teng
JUCS
2000
135views more  JUCS 2000»
15 years 7 months ago
The Price of Routing in FPGAs
: Studying the architectural evolution of mainstream field programmable gate arrays (FPGAs) leads to the following remark: in these circuits, the proportion of silicon devoted to r...
Florent de Dinechin
NAR
2000
76views more  NAR 2000»
15 years 7 months ago
Update of KEYnet: a gene and protein names database for biosequences functional organisation
KEYnet is a database where gene and protein names are hierarchically structured. Particular care has been devoted to the search and organisation of synonyms. The structuring is ba...
Domenico Catalano, Flavio Licciulli, Domenica D'El...