2308 search results - page 80 / 462 » Categorial Semantics For LFG |
185
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...
195
click to vote
EUROSYS
2011
ACM
14 years 9 months ago
2011
ACM
Parallel software is increasingly necessary to take advantage of multi-core architectures, but it is also prone to concurrency bugs which are particularly hard to avoid, find, an...
187
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
233
click to vote
POPL
2012
ACM
14 years 1 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...
213
click to vote
WSDM
2012
ACM
14 years 1 months ago
2012
ACM
One popular form of semantic search observed in several modern search engines is to recognize query patterns that trigger instant answers or domain-specific search, producing sem...