3679 search results - page 70 / 736 » Hybrid Semantic Analysis |
118
Voted
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This research explores a new method for Semantic Web service matchmaking based on iSPARQL strategies, which enables to query the Semantic Web with techniques from traditi...
139
Voted
EMNLP
2009
14 years 10 months ago
2009
This paper presents an effective method for generating natural language sentences from their underlying meaning representations. The method is built on top of a hybrid tree repres...
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
WOLLIC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
94
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents a systematic and optimal design of hybrid cascode compensation method which is used in fully differential two-stage CMOS operational transconductance amplifier...