11051 search results - page 385 / 2211 » An Investigation of Generalized Cases |
181
click to vote
ORDER
2008
15 years 7 months ago
2008
We give various constructions of uncountable arc-transitive bipartite graphs employing techniques from partial orders, starting with the cyclefree case, but generalizing to cases ...
224
click to vote
ENTCS
1998
15 years 7 months ago
1998
This paper shows how modal mu-calculus formulae characterizing finite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest fixp...
155
click to vote
JSYML
1998
15 years 7 months ago
1998
We examine two-cardinal problems for the class of O-minimal theories. We prove that an O-minimal theory which admits some (κ, λ) must admit every (κ , λ ). We also prove that ...
182
click to vote
DLT
2009
15 years 5 months ago
2009
Abstract. We study expansions in non-integer negative base - introduced by Ito and Sadahiro [7]. Using countable automata associated with (-)-expansions, we characterize the case w...
205
click to vote
DCC
2003
IEEE
16 years 7 months ago
2003
IEEE
We address the problem of designing optimal quantizers for distributed source coding. The generality of our formulation includes both the symmetric and asymmetric scenarios, toget...