2858 search results - page 304 / 572 » Logics with Aggregate Operators |
174
Voted
ICMCS
2000
IEEE
15 years 11 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...
161
click to vote
SRDS
1999
IEEE
15 years 11 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...
182
click to vote
ESOP
2009
Springer
15 years 10 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...
152
click to vote
COMMA
2008
15 years 8 months ago
2008
Abstract. We propose an abstract argumentation theory whose dynamics is captured by the application of belief revision concepts. The theory is deemed as abstract because both the u...
158
click to vote
SPLC
2008
15 years 8 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...