Sciweavers

2016 search results - page 60 / 404
» Some observations on HC-128
Sort
View
IJCAI
2001
13 years 11 months ago
Backbones in Optimization and Approximation
We study the impact of backbones in optimization and approximation problems. We show that some optimization problems like graph coloring resemble decision problems, with problem h...
John K. Slaney, Toby Walsh
ANLP
1997
60views more  ANLP 1997»
13 years 11 months ago
The Domain Dependence of Parsing
A major concern in corpus based approaches is that the applicability of the acquired knowledge may be limited by some feature of the corpus, in particular, the notion of text `dom...
Satoshi Sekine
FORTE
1997
13 years 11 months ago
Refusal Testing for Classes of Transition Systems with Inputs and Outputs
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
Lex Heerink, Jan Tretmans
ECAI
2010
Springer
13 years 11 months ago
Symmetries of Symmetry Breaking Constraints
Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different s...
George Katsirelos, Toby Walsh
HAIS
2008
Springer
13 years 11 months ago
Extracting Multi-knowledge from fMRI Data through Swarm-Based Rough Set Reduction
Abstract. Functional Magnetic Resonance Imaging (fMRI) data is collected ceaselessly during brain research, which implicates some important information. It need to be extracted and...
Hongbo Liu, Ajith Abraham, Hong Ye