939 search results - page 61 / 188 » Semantic Abstraction and Quantum Computation |
AINA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In this paper, we present new algorithms for matching Web services described in YASA4WSDL (YASA for short). We have already defined YASA that overcomes some issues missin...
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
ICSOC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
105
click to vote
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
In this paper, we propose a new semantic clone detection e by comparing programs’ abstract memory states, which are computed by a semantic-based static analyzer. Our experimenta...
ECIR
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. We propose in this paper to use NLP approaches to validate induced syntactic relations. We focus on a Web Validation system, a Semantic Vector-based approach, and finally...