5325 search results - page 918 / 1065 » Effective Computation for Nonlinear Systems |
139
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
In modern application domains such as multimedia, molecular biology and medical imaging, similarity search in database systems is becoming an increasingly important task. Especial...
133
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
Microaggregation is one of the most employed microdata protection methods. The idea is to build clusters of at least k original records, and then replace them with the centroid of...
134
click to vote
ICCD
2007
IEEE
16 years 27 days ago
2007
IEEE
Software integrity and confidentiality play a central role in making embedded computer systems resilient to various malicious actions, such as software attacks; probing and tamper...
154
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
135
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...