4047 search results - page 65 / 810 » Some Properties and Some Problems on Set Functors |
SEMWEB
2001
Springer
15 years 4 months ago
2001
Springer
New approaches in the Web environment are underway. These new methodologies try to leverage it from an information medium to a knowledgeable level, from a machine point of view. Th...
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
100
click to vote
JUCS
2002
14 years 11 months ago
2002
: We consider disjunctive sequences, that is, infinite sequences (-words) having all finite words as infixes. It is shown that the set of all disjunctive sequences can be described...
APLAS
2005
ACM
15 years 5 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
162
click to vote
ICDT
2009
ACM
16 years 16 days ago
2009
ACM
We study the problem of querying data sources that accept only a limited set of queries, such as sources accessible by Web services which can implement very large (potentially inf...