1188 search results - page 42 / 238 » Testing Semantics: Connecting Processes and Process Logics |
101
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
This paper addresses the question of factoring a logic into families of (generally simpler) components, estimating the top– down perspective, splitting, versus the bottom–up, s...
131
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
of proposed research. A short bibliography is optional. Domain theory has been developed around 40 years since 1970s by D. Scott, and S. Abramsky revealed the "junction betwee...
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...
132
click to vote
WISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
102
click to vote
CONNECTION
2004
15 years 3 months ago
2004
Evidence from recent psycholinguistic experiments suggests that humans resolve reference incrementally in the presence of constraining visual context. In this paper, we present an...