1914 search results - page 13 / 383 » Semantic domains for Handel-C |
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...
TES
2005
Springer
14 years 1 months ago
2005
Springer
The vision of Semantic Web services promises a network of interoperable Web services over different sources. A major challenge to the realization of this vision is the lack of aut...
ICCV
2009
IEEE
15 years 18 days ago
2009
IEEE
Learning to cope with domain change has been known
as a challenging problem in many real-world applications.
This paper proposes a novel and efficient approach, named
domain ada...
LREC
2008
13 years 9 months ago
2008
In this article, we present a method for extracting automatically from texts semantic relations in the medical domain using linguistic patterns. These patterns refer to three leve...
ECOWS
2006
Springer
13 years 9 months ago
2006
Springer
The automated composition of Web services is one of the most promising ideas and at the same time one of the most challenging research area for the taking off of serviceoriented a...