6618 search results - page 1043 / 1324 » Natural Logic for Natural Language |
175
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
153
click to vote
ICFP
2010
ACM
15 years 7 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...
182
click to vote
PADL
2012
Springer
14 years 2 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
185
click to vote
JNSM
2008
15 years 6 months ago
2008
There is a large conceptual gap between end-to-end infrastructure requirements and detailed component configuration implementing those requirements. Today, this gap is manually br...
222
click to vote
FDTC
2010
Springer
15 years 4 months ago
2010
Springer
Fault injections constitute a major threat to the security of embedded systems. The errors in the cryptographic algorithms have been shown to be extremely dangerous, since powerful...