1982 search results - page 223 / 397 » Parametricity and dependent types |
233
click to vote
FPGA
2008
ACM
15 years 8 months ago
2008
ACM
Stochastic simulations and other scientific applications that depend on random numbers are increasingly implemented in a parallelized manner in programmable logic. High-quality ps...
146
click to vote
ACL
2008
15 years 8 months ago
2008
In this type-II demo, we introduce SIDE1 (the Summarization Integrated Development Environment), an infrastructure that facilitates construction of summaries tailored to the needs...
153
click to vote
CSREAEEE
2008
15 years 8 months ago
2008
- In this paper, we proposed an automatic pushing system, whereby the users of mobile devices set their preferences on the Internet and receive `pushed' contents, which are a ...
151
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper we present a description of negation cues and their scope in biomedical texts, based on the cues that occur in the BioScope corpus. We provide information relative t...
145
click to vote
EMNLP
2007
15 years 8 months ago
2007
We present V-measure, an external entropybased cluster evaluation measure. Vmeasure provides an elegant solution to many problems that affect previously defined cluster evaluatio...