2585 search results - page 194 / 517 » Automating Coherent Logic |
182
click to vote
LICS
1997
IEEE
15 years 10 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
133
click to vote
LREC
2010
15 years 8 months ago
2010
WikiWoods is an ongoing initiative to provide rich syntacto-semantic annotations for English Wikipedia. We sketch an automated processing pipeline to extract relevant textual cont...
164
click to vote
TKDE
1998
15 years 6 months ago
1998
–Video production involves the process of capturing, editing, and composing video segments for delivery to a consumer. A composition must yield a coherent presentation of an even...
156
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
158
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
The continuous minituarization of integrated circuits may reach atomic scales in a couple of decades. Some researchers have already built simple computation engines by manipulatin...