2152 search results - page 41 / 431 » On Automating the Calculus of Relations |
118
Voted
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
96
Voted
ECMDAFA
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Traceability is demanded within mature development processes and offers a wide range of advantages. Nevertheless, there are deterrents to establishing traceability: it c...
90
Voted
BNCOD
2007
15 years 2 months ago
2007
In this paper we report ongoing work in the development of diagram interpretation and assessment applied to entity-relationship diagrams (ERDs). We report on our development of an...
175
Voted
ICDE
2003
IEEE
16 years 1 months ago
2003
IEEE
80
Voted
COLING
2010
14 years 7 months ago
2010
We introduce the novel problem of automatic related work summarization. Given multiple articles (e.g., conference/journal papers) as input, a related work summarization system cre...