1385 search results - page 246 / 277 » Natural Rewriting for General Term Rewriting Systems |
132
click to vote
SPAA
2003
ACM
15 years 7 months ago
2003
ACM
Quantum computation has become an intriguing technology with which to attack difficult problems and to enhance system security. Quantum algorithms, however, have been analyzed un...
136
click to vote
CIKM
2006
Springer
15 years 5 months ago
2006
Springer
Familiar evaluation methodologies for information retrieval (IR) are not well suited to the task of comparing systems in many real settings. These systems and evaluation methods m...
125
click to vote
FORTE
2003
15 years 3 months ago
2003
The aim of passive testing is to detect faults in a system while observing the system during normal operation, that is, without forcing the system to specialized inputs explicitly ...
115
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Agent-based simulations are an increasingly popular means of exploring and understanding complex social systems. In order to be useful, these simulations must capture a range of a...
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...