Sciweavers

1898 search results - page 37 / 380
» About the art in this issue
Sort
View
BIOSIG
2010
152views Biometrics» more  BIOSIG 2010»
13 years 5 months ago
Biometric Systems in Future Preventive Scenarios - Legal Issues and Challenges
: The privacy and data protection challenges posed by biometric systems have been discussed in detail in the last years. Both security opportunities and privacy risks however may d...
Gerrit Hornung, Monika Desoi, Matthias Pocs
POPL
2012
ACM
12 years 3 months ago
Static and user-extensible proof checking
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
Antonis Stampoulis, Zhong Shao
SDM
2011
SIAM
284views Data Mining» more  SDM 2011»
12 years 10 months ago
The Network Completion Problem: Inferring Missing Nodes and Edges in Networks
While the social and information networks have become ubiquitous, the challenge of collecting complete network data still persists. Many times the collected network data is incomp...
Myunghwan Kim 0002, Jure Leskovec
NAR
2011
277views Computer Vision» more  NAR 2011»
12 years 10 months ago
The 2011 Nucleic Acids Research Database Issue and the online Molecular Biology Database Collection
The current 18th Database Issue of Nucleic Acids Research features descriptions of 96 new and 83 updated online databases covering various areas of molecular biology. It includes ...
Michael Y. Galperin, Guy Cochrane
RE
2001
Springer
14 years 8 days ago
Issues of Visualized Conflict Resolution
Effective and efficient requirements negotiation is a key to the success of software development efforts. For large projects, this can be especially difficult to do effectively an...
Hoh In, Siddhartha Roy