2725 search results - page 213 / 545 » A framework for P2P application development |
137
Voted
TABLEAUX
1999
Springer
15 years 7 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
138
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Mass spectrometry is an essential analytical technique for high-throughput analysis in proteomics and metabolomics. The development of new separation techniques, preci...
155
click to vote
INFORMS
1998
15 years 3 months ago
1998
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
112
click to vote
ECCV
2008
Springer
15 years 5 months ago
2008
Springer
For many tasks in computer vision, it is very important to produce the groundtruth data. At present, this is mostly done manually. Manual data labeling is labor-intensive and prone...
126
click to vote
DFG
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We survey the conceptual framework and several applications of the iterative compression technique introduced in 2004 by Reed, Smith, and Vetta. This technique has proven...