Sciweavers

7123 search results - page 277 / 1425
» The Ordered Set of Rough Sets
Sort
View
CORR
2007
Springer
119views Education» more  CORR 2007»
15 years 6 months ago
Hadwiger and Helly-type theorems for disjoint unit spheres
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...
Otfried Cheong, Xavier Goaoc, Andreas Holmsen, Syl...
LMCS
2006
119views more  LMCS 2006»
15 years 6 months ago
The monadic second-order logic of graphs XVI : Canonical graph decompositions
This article establishes that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic.This result is actually an instance of a more ge...
Bruno Courcelle
TIP
2010
157views more  TIP 2010»
15 years 1 months ago
Directional Filtering Transform for Image/Intra-Frame Compression
Abstract--While directional adaption is introduced into traditional transforms, different orders of two 1-D transforms will result in different results of one 2-D transform. Based ...
Xiulian Peng, Jizheng Xu, Feng Wu
DCC
2006
IEEE
16 years 6 months ago
Evaluation codes and plane valuations
Abstract. We apply tools coming from singularity theory, as Hamburger-Noether expansions, and from valuation theory, as generating sequences, to explicitly describe order functions...
C. Galindo, M. Sanchis
QEST
2006
IEEE
16 years 20 days ago
Bound-Preserving Composition for Markov Reward Models
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
David Daly, Peter Buchholz, William H. Sanders