16616 search results - page 280 / 3324 » Extending Extended Vacuity |
178
click to vote
ENTCS
2010
15 years 4 months ago
2010
We propose an algebra of languages and transformations as a means for extending s syntactically. The algebra provides a layer of high-level abstractions built on top of languages ...
207
click to vote
IANDC
2010
15 years 4 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
165
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
Much like relational probabilistic models, the need for relational preference models arises naturally in real-world applications where the set of object classes is fixed, but obj...
156
click to vote
JCT
2011
15 years 1 months ago
2011
The Pieri rule expresses the product of a Schur function and a single row Schur function in terms of Schur functions. We extend the classical Pieri rule by expressing the product ...
225
click to vote
KBS
2011
15 years 1 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...