2501 search results - page 252 / 501 » Logics with Rank Operators |
157
click to vote
MFCS
2004
Springer
15 years 11 months ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
119
click to vote
APCCAS
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper proposes a new region extraction algorithm based on cellular automaton operation, which only utilizes the region boundary information of the image. A simple pixel circu...
164
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
In order to understand similarity between images, recent research has focused on adaptable searches [9] and fuzzy queries [4]. However, one of the best means for determining simil...
150
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
In CORBA-based applications that depend on object replication for fault tolerance, inconsistencies in the states of the replicas of an object can arise when concurrent threads wit...
158
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...