4581 search results - page 668 / 917 » Computing Transformation Semigroups |
139
click to vote
RTA
2007
Springer
16 years 21 days ago
2007
Springer
We investigate garbage collection of unreachable parts of rooted graphs from a categorical point of view. First, we define this task as the right adjoint of an inclusion functor. ...
185
click to vote
SSS
2007
Springer
16 years 21 days ago
2007
Springer
System design often explores optimality of performance. What is optimal is, however, often not predefined or static in most cases, because it is affected by the context of operat...
194
click to vote
STACS
2007
Springer
16 years 21 days ago
2007
Springer
In this paper, it is shown that the Feedback Vertex Set problem on unweighted, undirected graphs has a kernel of cubic size. I.e., a polynomial time algorithm is described, that, w...
163
click to vote
TLCA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
182
click to vote
UCS
2007
Springer
16 years 21 days ago
2007
Springer
Emergence of social web services like YouTube[1], Flickr[2] etc. is constantly transforming the way we share our lifestyles with family, friends and colleagues. The significance of...