Sciweavers

232 search results - page 26 / 47
» Reflection principles in computational logic
Sort
View
ICSE
2008
IEEE-ACM
14 years 10 months ago
Continuous coordination within the context of cooperative and human aspects of software engineering
We have developed software tools that aim to support the cooperative software engineering tasks and promote an awareness of social dependencies that is essential to successful coo...
André van der Hoek, Anita Sarma, Ban Al-Ani...
FPGA
1997
ACM
149views FPGA» more  FPGA 1997»
14 years 2 months ago
Signal Processing at 250 MHz Using High-Performance FPGA's
This paper describes an application in high-performance signal processing using reconfigurable computing engines: a 250 MHz cross-correlator for radio astronomy. Experimental resu...
Brian Von Herzen
POPL
2012
ACM
12 years 5 months ago
Probabilistic relational reasoning for differential privacy
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
Gilles Barthe, Boris Köpf, Federico Olmedo, S...
ICONFERENCE
2011
13 years 1 months ago
Barriers to the adoption and use of personal health record systems
Personal health records (PHR) have enormous potential to improve both documentation of health information and patient care. The adoption of these systems, however, has been relati...
Leslie S. Liu, Patrick C. Shih, Gillian R. Hayes
ICPR
2006
IEEE
14 years 11 months ago
Physics-based Fusion of Multispectral Data for Improved Face Recognition
A novel physics-based fusion of multispectral images within the visual spectra is proposed for the purpose of improving face recognition under constant or varying illumination. Sp...
Andreas Koschan, Besma R. Abidi, Hong Chang, Mongi...