11397 search results - page 2138 / 2280 » A Relational Abstraction for Functions |
362
Voted
CASSIS
2005
Springer
16 years 17 days ago
2005
Springer
Today many interactions are carried out online through Web sites and e-services and often private and/or sensitive information is required by service providers. A growing concern r...
199
Voted
CCS
2005
ACM
16 years 17 days ago
2005
ACM
Protocols for authenticated key exchange (AKE) allow parties within an insecure network to establish a common session key which can then be used to secure their future communicati...
201
Voted
COCO
2005
Springer
16 years 17 days ago
2005
Springer
We prove that if NP ⊆ BPP, i.e., if SAT is worst-case hard, then for every probabilistic polynomial-time algorithm trying to decide SAT, there exists some polynomially samplable ...
202
Voted
CVBIA
2005
Springer
16 years 17 days ago
2005
Springer
Analysis of medical images, especially the extraction of anatomical structures, is a critical component of many medical applications: surgical planning and navigation, and populati...
209
click to vote
FPGA
2005
ACM
16 years 17 days ago
2005
ACM
Creating a new FPGA is a challenging undertaking because of the significant effort that must be spent on circuit design, layout and verification. It currently takes approximately ...