5499 search results - page 361 / 1100 » Generalized Rewrite Theories |
164
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Let S be an ordered set of disjoint unit spheres in R3 . We show that if every subset of at most six spheres from S admits a line transversal respecting the ordering, then the ent...
183
Voted
JMIV
2006
15 years 7 months ago
2006
In this paper, we describe how to use geodesic energies defined on various sets of objects to solve several distance related problems. We first present the theory of metamorphoses ...
189
Voted
EOR
2007
15 years 7 months ago
2007
The aim of this work is to present a numerical measure of the importance of each player in a cooperative game when the cooperation possibilities are limited according to the links...
194
click to vote
MSCS
2008
15 years 7 months ago
2008
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...
129
click to vote
MSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Individual choices often depend on the order in which the decisions are made. In this paper, we expose a general theory of measurable systems (an example of which is an individual...