5818 search results - page 156 / 1164 » A reasonable Semantic Web |
176
click to vote
AUSAI
2004
Springer
16 years 12 days ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
170
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
I introduce a new approach to data representation, which reflects the mechanism of mind based on the compartmentalization of brain into two hemispheres. I cribe an abstract device...
182
Voted
WWW
2008
ACM
16 years 7 months ago
2008
ACM
The use of communities provides a scalable solution for gathering and managing functionally-equivalent Web services. In order to ensure single access to the community, a community...
180
click to vote
DEXAW
2003
IEEE
16 years 8 days ago
2003
IEEE
The Semantic Web, also known as the Web of meaning, is considered the new generation of the Web. Its objective is to enable computers and people to work in cooperation. A requisit...
211
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...