The automatic recognition of the rhetorical function of citations in scientific text has many applications, from improvement of impact factor calculations to text summarisation an...
: After eleven years, CSCW is a well recognized research field which has generated, among other things, some new theoretical findings on work practices and cooperation and some new...
Alessandra Agostini, Giorgio De Michelis, Maria An...
First order reasoning about hyperintegers can prove things about sets of integers. In the author's paper Nonstandard Arithmetic and Reverse Mathematics, Bulletin of Symbolic L...
Science fiction stories seductively portray robots as human. In present reality (early 21st century) robots are machines, even though they can do many things far better than human...
Platforms have become an important concept in the design of electronic systems. We present here the motivations behind the interest shown and the challenges that we have to face t...
Alberto L. Sangiovanni-Vincentelli, Luca P. Carlon...