2206 search results - page 213 / 442 » On the power of coercion abstraction |
183
click to vote
BTW
2003
Springer
15 years 12 months ago
2003
Springer
Abstract: Query languages for XML such as XPath or XQuery support Boolean retrieval where a query result is a (possibly restructured) subset of XML elements or entire documents tha...
165
click to vote
COSIT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We present a qualitative shape description which has previously been proven to be useful for object categorisation. The description is based on a set of shape primitives ...
164
click to vote
CSL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We study the succinctness of monadic second-order logic and a variety of monadic fixed point logics on trees. All these languages are known to have the same expressive p...
175
click to vote
DALT
2003
Springer
15 years 12 months ago
2003
Springer
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interaction...
165
click to vote
GPCE
2003
Springer
15 years 12 months ago
2003
Springer
A domain-specific language provides domain experts with a abstraction for creating computer programs. As more and more domains embrace computers, programmers are tapping into this...