3679 search results - page 17 / 736 » Hybrid Semantic Analysis |
116
Voted
ISPA
2005
Springer
15 years 6 months ago
2005
Springer
An important precondition for the success of the Semantic Web is founded on the principle that the content of web pages will be semantically annotated. In this paper, we propose a ...
107
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
67
Voted
ENGL
2007
15 years 11 days ago
2007
—A hybrid translinear (TL) circuit constituted by two kinds of transistors, bipolar and CMOS transistors, was proposed to control its quiescent current. And a new method was intr...
111
Voted
CADE
2007
Springer
16 years 22 days ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
ICARCV
2008
IEEE
15 years 6 months ago
2008
IEEE
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...