Sciweavers

1442 search results - page 36 / 289
» Finding interesting things
Sort
View
EMNLP
2006
14 years 7 days ago
Automatic classification of citation function
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...
Simone Teufel, Advaith Siddharthan, Dan Tidhar
ECSCW
1997
14 years 5 days ago
Rethinking CSCW systems: The architecture of Milano
: 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...
APAL
2010
88views more  APAL 2010»
13 years 11 months ago
Nonstandard arithmetic and recursive comprehension
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...
H. Jerome Keisler
IWC
2008
53views more  IWC 2008»
13 years 10 months ago
Robot ethics? Not yet: A reflection on Whitby's "Sometimes it's hard to be a robot"
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...
Harold W. Thimbleby
DAC
2004
ACM
14 years 11 months ago
Benefits and challenges for platform-based design
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...