3353 search results - page 58 / 671 » Laver and set theory |
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper we explore the stabilization of closed invariant sets for passive systems, and present conditions under which a passivity-based feedback makes the set stable, sem...
CIE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We discuss some known and introduce some new reducibilities on regular sets. We establish some facts on the corresponding degree structures and relate some reducibilities...
AGP
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper we consider the relative expressive power of two very common operators applicable to sets and multisets: the with and the union operators. For such operators we prove...
105
click to vote
ASP
2001
Springer
15 years 1 months ago
2001
Springer
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
111
click to vote
ACST
2006
14 years 11 months ago
2006
Consider the problem of membership query for a given partially ordered set. We devise a greedy algorithm which can produce near-optimal search strategies. Rigorous analysis has be...