4949 search results - page 255 / 990 » Consistency and Set Intersection |
156
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Typechecking consists of statically verifying whether the output of an XML transformation always conforms to an output type for documents satisfying a given input type. In this ge...
171
click to vote
JIFS
2006
15 years 6 months ago
2006
The LUCS Haptic Hand I together with a set of haptic models is the first in a series of projects aimed at studying haptic perception for building several robotic hands together wi...
188
click to vote
LMCS
2006
15 years 6 months ago
2006
It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing tha...
200
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This article deals with the recognition of recurring multivariate time series patterns modelled sample-point-wise by parametric fuzzy sets. An efficient classification-based approa...
172
click to vote
JMLR
2010
15 years 1 months ago
2010
A computationally efficient approach to local learning with kernel methods is presented. The Fast Local Kernel Support Vector Machine (FaLK-SVM) trains a set of local SVMs on redu...