6794 search results - page 177 / 1359 » Semantics of Visual Languages |
POPL
2012
ACM
12 years 4 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
ER
2004
Springer
14 years 2 months ago
2004
Springer
Ontology provides sharing knowledge among different data sources which will help to clarify the semantics of information. OWL is being promoted as a standard for web ontology langu...
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...
VISUAL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. An ongoing project is described which seeks to add to our understanding about the real challenge of semantic image retrieval. Consideration is given to the plurality of t...
CIVR
2006
Springer
14 years 1 months ago
2006
Springer
Automatic semantic classification of video databases is very useful for users searching and browsing but it is a very challenging research problem as well. Combination of visual an...