9873 search results - page 257 / 1975 » Emergent Semantics Systems |
161
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
198
click to vote
AICCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
Semantic web search engines are evolving and many prototype systems and some implementation have been developed. However, there are some different views on what a semantic search e...
172
click to vote
VVEIS
2008
15 years 8 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
160
click to vote
ENGL
2007
15 years 6 months ago
2007
—In previous works, we have presented the advantages of using a domain ontology and annotations on information retrieval as well as the translation problems between languages wit...
155
Voted
EXPERT
2007
15 years 6 months ago
2007
The full vision of the Semantic Web has yet to be fully accomplished, but there has been considerable progress in the development and use of standards, languages, technologies and ...