15375 search results - page 140 / 3075 » cans 2008 |
ENTCS
2008
13 years 8 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
DAM
2007
13 years 8 months ago
2007
We show that the logical theory QLA proves the Cayley–Hamilton theorem from the Steinitz exchange theorem together with a strengthening of the linear independence principle. Sin...
SIAMAM
2008
13 years 8 months ago
2008
We describe a new class of surface flows, diffeomorphic surface flows, induced by restricting diffeomorphic flows of the ambient Euclidean space to a surface. Different from classi...
DM
1999
13 years 7 months ago
1999
If : L L is a bijection from the set of lines of a linear space (P, L) onto the set of lines of a linear space (P , L ) (dim (P, L), dim (P , L ) 3), such that intersecting lin...
EMNLP
2008
13 years 9 months ago
2008
In this paper we describe research on summarizing conversations in the meetings and emails domains. We introduce a conversation summarization system that works in multiple domains...