3161 search results - page 81 / 633 » Hybrid results merging |
100
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We present an approach to hybrid semantic Web service matching that complements logic based reasoning with approximate matching based on syntactic IR based similarity computations...
111
click to vote
ENTCS
2006
15 years 2 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
123
click to vote
CSDA
2007
15 years 1 months ago
2007
The log-likelihood function of threshold vector error correction models is neither differentiable, nor smooth with respect to some parameters. Therefore, it is very difficult to ...
111
click to vote
IJCV
2002
15 years 1 months ago
2002
Abstract. In this paper we present an automatic hybrid matching system mixing images coming from central catadioptric systems and conventional cameras. We analyze three models of h...
108
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
We study price-per-reward games on hybrid automata with strong resets. They generalise priced games previously studied and have applications in scheduling. We obtain decidability r...