3679 search results - page 12 / 736 » Hybrid Semantic Analysis |
136
Voted
ACL
2006
15 years 1 months ago
2006
A hybrid convolution tree kernel is proposed in this paper to effectively model syntactic structures for semantic role labeling (SRL). The hybrid kernel consists of two individual...
101
Voted
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1
111
click to vote
CAV
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
88
Voted
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...