2128 search results - page 65 / 426 » A general characterization of indulgence |
96
Voted
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
91
Voted
DM
2006
15 years 18 days ago
2006
We provide a simple constructive characterization for trees with equal domination and independent domination numbers, and for trees with equal domination and total domination numb...
MCSS
2006
Springer
15 years 16 days ago
2006
Springer
In this work characterizations of the notion of non-uniform in time robust global asymptotic output stability for hybrid systems with disturbances are given. Based on the provided ...
77
Voted
GG
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we give a category-based characterization of recognizability. A recognizable subset of arrows is defined via a functor into the category of relations on sets, which ...
85
Voted
DLT
2009
14 years 10 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...