5964 search results - page 354 / 1193 » A theory of speculative computation |
159
Voted
IWFM
1998
15 years 8 months ago
1998
Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...
176
Voted
ACTA
2004
15 years 7 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
189
Voted
JUCS
2007
15 years 7 months ago
2007
: Sparse graphs and their associated matroids play an important role in rigidity theory, where they capture the combinatorics of some families of generic minimally rigid structures...
182
Voted
EJC
2000
15 years 7 months ago
2000
We study the zeros of two families of polynomials related to rook theory and matchings in graphs. One of these families is based on the cover polynomial of a digraph introduced by ...
211
Voted
FUIN
1998
15 years 7 months ago
1998
The technique of image compression using Iterative Function System (IFS) is known as fractal image compression. An extension of IFS theory is called as Partitioned or local Iterati...