7393 search results - page 365 / 1479 » Synthesis-for-testability using transformations |
137
click to vote
ESANN
2006
15 years 6 months ago
2006
In this presentation we show the semi-supervised learning with two input sources can be transformed into a maximum margin problem to be similar to a binary SVM. Our formulation exp...
126
click to vote
ANLP
2000
15 years 6 months ago
2000
Arabic inflectional morphology requires infixation, prefixation and suffixation, giving rise to a large space of morphological variation. In this paper we describe an approach to ...
140
click to vote
ESANN
2000
15 years 6 months ago
2000
This paper describes a novel image registration method for movementcorrection of fMR time-series. It is important to align the fMR images in the time-series before time-dependent a...
134
click to vote
BPSC
2009
15 years 6 months ago
2009
: In Service Oriented systems organisational processes are represented as WS-BPEL workflows, BPEL is different from traditional workflow languages as a hybrid of block-based and gr...
117
Voted
ENTCS
2006
15 years 4 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...