9873 search results - page 326 / 1975 » Emergent Semantics Systems |
182
click to vote
JLP
2008
15 years 6 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
232
click to vote
JELIA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
129
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we present a semantic search technique considering the type of desired Web resources and the semantic relationships between the resources and the query keywords in ...
195
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
We conduct the first systematical adoption of the Semantic Web solution in the integration, management, and utilization of TCM information and knowledge resources. As the results,...
171
click to vote
SKG
2006
IEEE
16 years 22 days ago
2006
IEEE
In this paper we present design and development of the semantic grid services for the flood forecasting simulations. We will highlight the corresponding architecture and the proc...