5550 search results - page 784 / 1110 » Different Approaches to Proof Systems |
158
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
205
click to vote
APBC
2003
15 years 8 months ago
2003
Research in bioinformatics is driven by the experimental data. Current biological databases are populated by vast amounts of experimental data. Machine learning has been widely ap...
186
click to vote
GEOINFO
2003
15 years 8 months ago
2003
With the phenomenal growth of the WWW, rich data sources on many different subjects have become available online. Some of these sources store daily facts that often involve textual...
190
click to vote
NAACL
2003
15 years 8 months ago
2003
Motivated by the success of ensemble methods in machine learning and other areas of natural language processing, we developed a multistrategy and multi-source approach to question...
150
click to vote
BMVC
2000
15 years 8 months ago
2000
This paper introduces an object recognition strategy based on the following premises: i) an object can be identified on the basis of the optical flow it induces on a stationary ob...