1585 search results - page 304 / 317 » Creating a Knowledge Base of Biological Research Papers |
116
click to vote
WSDM
2009
ACM
15 years 6 months ago
2009
ACM
Text streams are becoming more and more ubiquitous, in the forms of news feeds, weblog archives and so on, which result in a large volume of data. An effective way to explore the...
187
click to vote
ICFP
2009
ACM
16 years 10 days ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
CICLING
2010
Springer
15 years 6 months ago
2010
Springer
Recent research works on unsupervised word sense disambiguation report an increase in performance, which reduces their handicap from the respective supervised approaches for the sa...
CLUSTER
2007
IEEE
15 years 6 months ago
2007
IEEE
— Various mechanisms for fault-tolerance (FT) are used today in order to reduce the impact of failures on application execution. In the case of system failure, standard FT mechan...
115
click to vote
EUSAI
2007
Springer
15 years 5 months ago
2007
Springer
A low-cost kit of stick-on wireless sensors that transmit data indicating whenever various objects are being touched or used might aid ubiquitous computing research efforts on rapi...