307 search results - page 21 / 62 » Causality and the Semantics of Provenance |
67
Voted
AI
2007
Springer
15 years 6 months ago
2007
Springer
Complex Nominals (CNs) have simple syntactic structure that conceals non-trivial semantic characteristics. While speakers of natural languages combine noun(s)/adjective(s) with a h...
100
click to vote
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
AAAI
1998
15 years 1 months ago
1998
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...
123
click to vote
COLING
2010
14 years 7 months ago
2010
We explore the near-synonym lexical choice problem using a novel representation of near-synonyms and their contexts in the latent semantic space. In contrast to traditional latent...
111
Voted
ICAPR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...