Sciweavers

152 search results - page 23 / 31
» An Experimental Study of Random Knapsack Problems
Sort
View
CP
2006
Springer
13 years 10 months ago
Towards an Efficient SAT Encoding for Temporal Reasoning
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
Duc Nghia Pham, John Thornton, Abdul Sattar
LREC
2010
155views Education» more  LREC 2010»
13 years 8 months ago
Automatic Acquisition of Chinese Novel Noun Compounds
Automatic acquisition of novel compounds is notoriously difficult because most novel compounds have relatively low frequency in a corpus. The current study proposes a new method t...
Meng Wang, Chu-Ren Huang, Shiwen Yu, Weiwei Sun
AAAI
2004
13 years 8 months ago
Additive versus Multiplicative Clause Weighting for SAT
This paper examines the relative performance of additive and multiplicative clause weighting schemes for propositional satisfiability testing. Starting with one of the most recent...
John Thornton, Duc Nghia Pham, Stuart Bain, Valnir...
NIPS
2003
13 years 8 months ago
Self-calibrating Probability Forecasting
In the problem of probability forecasting the learner’s goal is to output, given a training set and a new object, a suitable probability measure on the possible values of the ne...
Vladimir Vovk, Glenn Shafer, Ilia Nouretdinov
ICASSP
2011
IEEE
12 years 10 months ago
A revisit to MRF-based depth map super-resolution and enhancement
This paper presents a Markov Random Field (MRF)-based approach for depth map super-resolution and enhancement. Given a low-resolution or moderate quality depth map, we study the p...
Jiangbo Lu, Dongbo Min, Ramanpreet Singh Pahwa, Mi...