4581 search results - page 679 / 917 » Computing Transformation Semigroups |
181
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Restrictions of rewriting can eventually achieve termination by pruning all infinite rewrite sequences issued from every term. Contextsensitive rewriting (CSR) is an example of su...
177
click to vote
SCVMA
2004
Springer
15 years 12 months ago
2004
Springer
We present a method for figure-ground segregation of moving objects from monocular video sequences. The approach is based on tracking extracted contour fragments, in contrast to ...
181
click to vote
STACS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We consider the problem of scheduling jobs on related machines owned by selfish agents and provide the first deterministic mechanisms with constant approximation that a...
187
click to vote
ARITH
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper introduces the Interval Logarithmic Number System (ILNS), in which the Logarithmic Number System (LNS) is used as the underlying number system for interval arithmetic. ...
178
click to vote
CA
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a simple, linear 3D cellular automata approach for animating the melting process of solid volumetric models. Accurate modelling of object melting usually requires compl...