5451 search results - page 180 / 1091 » Typed Operational Semantics |
156
click to vote
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Locality - how well neighbouring genotypes correspond to neighbouring phenotypes - has been described as a key element in Evolutionary Computation. Grammatical Evolutio...
125
click to vote
LISP
2008
15 years 3 months ago
2008
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
187
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
119
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
111
Voted
IJCPOL
2008
15 years 3 months ago
2008
Event semantics in general and event type coercion in particular have been a challenging yet rewarding topic in verbal semantics (Pustejovsky, 1995). However, there have been few ...