Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic resources

SMIL State: an architecture and implementation for adaptive time-based web applications

Author:D Bulterman, D Flanagan, Dick C. A. Bulterman, Jack Jansen
Publisher:
Abstract: In this paper we examine adaptive time-based web applications (or presentations). These are interac…

Step-Indexed Normalization for a Language with General Recursion

Author:Adam Chlipala, Adam Chlipala, Amal Ahmed, Amal Ahmed, Andrew K. Wright, Andrew W. Appel, Aquinas Hobor, Benjamin C. Pierce, Chris Casinghino, Garrin Kimmell, Hiroshi Nakano, James Chapman, Jean-Yves Girard, Karl Crary, Lars Birkedal, Limin Jia, Neelakantan Krishnaswami, Neelakantan Krishnaswami, Nils Anders Danielsson, Nils Anders Danielsson, Paul Blain Levy, Robert Dockins, Robert L. Constable, Stephanie Weirich, The Coq Development Team, The Coq Development Team, Thierry Coquand, VII Tom Murphy, VII Tom Murphy, Ulf Norell, Venanzio Capretta, Vilhelm Sjöberg, William W. Tait
Publisher:Open Publishing Association
Abstract: The Trellys project has produced several designs for practical dependently typed languages. These l…

Virtual restoration of the Ghent altarpiece using crack detection and inpainting

Author:Bruno Cornelis, Ingrid Daubechies, Marc De Mey, Ann Dooms, Emile Gezels, Maximiliaan Martens, Aleksandra Pizurica, Ljiljana Platisa, Tijana Ruzic, Peter Schelkens
Publisher:Springer Science and Business Media LLC
Abstract: In this paper, we present a new method for virtual restoration of digitized paintings, with the spe…

Energy-efficient acceleration of MPEG-4 compression tools

Author:Andrew Kinane, Daniel Larkin, Noel E. O'Connor
Publisher:Hindawi Limited
Abstract: We propose novel hardware accelerator architectures for the most computationally demanding algorith…

Sensor-fault tolerance using robust MPC with set-based state estimation and active fault isolation

Author:Silviu-Iulian Niculescu, Carlos Ocampo-Martúnez, Sorin Olaru, Vicen√ß Puig Cayuela, Feng Xu
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: In this paper, a sensor fault-tolerant control (FTC) scheme using robust model predictive control (…

Quantum Fully Homomorphic Encryption With Verification

Author:A Broadbent, A Broadbent, D Unruh, F Dupuis, G Alagic, J Katz, PW Shor, S-H Tan, Y Dulek, Y Li
Publisher:Springer Science and Business Media LLC
Abstract: Fully-homomorphic encryption (FHE) enables computation on encrypted data while maintaining secrecy.…

MicroClAn: Microarray Clustering Analysis

Author:Alessandro Fiori, Au, Bandyopadhyay, Baralis, Bonifati, Braun, Brock, Bruno, Chen, Chen, Cooke, Cuzzocrea, Datta, Davies, DeConde, Dembélé, Dwork, Giulia Bruno, Golub, Halkidi, Handl, Jiang, Jiang, Jiang, Karypis, Kerr, Krishna, Larsen, Liu, Madeira, Maulik, Pihur, Pihur, Pihur, Raczynski, Rand, Richards, Robinson, Rousseeuw, Schena, Sharan, Sokal, Tan, Thompson, Tobita, Topcuoglu, Tseng, Yeung, Zhang
Publisher:iktor Prasanna, Elsevie
Abstract: Abstract is not available.

The whole mesh Deformation Model for 2D and 3D image segmentation

Author:J. Fernandes, M. Freire, P. Lenkiewicz, M. Pereira
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: In this paper we present a novel approach for image segmentation using Active Nets and Active Volum…

Reducing Power Consumption in Backbone Networks

Author:Luca Chiaraviglio, Marco Mellia, Fabio Neri
Publisher:EE
Abstract: Abstract‚ÄîAccording to several studies, the power consumption of the Internet accounts for up to 1…

Improved computation of individual ZPD in a distance learning system

Author:Sara De Cristofano, Maria DE MARSICO, Andrea STERBINI, Marco TEMPERINI
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: This paper builds upon theoretical studies in the field of social constructivism. Lev Vygotsky is c…
Privacy Policy
Powered by: