1914 search results - page 23 / 383 » Semantic domains for Handel-C |
FOSSACS
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
KCAP
2005
ACM
14 years 1 months ago
2005
ACM
Semantic annotation of digital objects within large multimedia collections is a difficult and challenging task. We describe a method for semi-automatic annotation of images and ap...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
Scientific texts domain keyword is one of the basic elements of the text high-level semantics acquisition, domain ontology building and the knowledge representation in semantic gr...
JUCS
2010
13 years 2 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
CSL
2009
Springer
14 years 2 months ago
2009
Springer
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...