11462 search results - page 47 / 2293 » Developing Application-Centric Methods |
108
Voted
AAAI
2010
15 years 24 days ago
2010
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...
111
Voted
EMNLP
2010
15 years 23 days ago
2010
Although many algorithms have been developed to harvest lexical resources, few organize the mined terms into taxonomies. We propose (1) a semi-supervised algorithm that uses a roo...
115
Voted
PR
2002
15 years 2 months ago
2002
The satellite image deconvolution problem is ill-posed and must be regularized. Herein, we use an edge-preserving regularization model using a ' function, involving two hyper...
138
click to vote
MICS
2008
15 years 2 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
113
Voted
IPMU
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Many surveillance cameras are being installed throughout the environments of our daily lives because they effectively maintain safety and offer security to ordinary peopl...