1581 search results - page 92 / 317 » Domain semantics of possibility computations |
JELIA
2004
Springer
14 years 4 months ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
ESWS
2010
Springer
14 years 2 months ago
2010
Springer
Building and maintaining thesauri are complex and laborious tasks. PoolParty is a Thesaurus Management Tool (TMT) for the Semantic Web, which aims to support the creation and maint...
SWWS
2008
14 years 18 days ago
2008
- The future of the Semantic Web envisions an interconnected network of data and systems where software agents can communicate seamlessly to perform complicated tasks with limited ...
BIRTHDAY
2008
Springer
14 years 1 months ago
2008
Springer
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
IPPS
1997
IEEE
14 years 3 months ago
1997
IEEE
In this paper we present a generalized forall statement for parallel languages. The forall statement occurs in many (data) parallel languages and specifies which computations can...