16616 search results - page 333 / 3324 » Extending Extended Vacuity |
176
click to vote
IWC
2007
15 years 6 months ago
2007
This paper describes a model that defines the attributes of domestic systems that lead to system dependability and a user-oriented specification method for support systems based...
194
click to vote
CI
2004
15 years 6 months ago
2004
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...
144
Voted
COMBINATORICA
2004
15 years 6 months ago
2004
In 1984 T. Carlson and S. Simpson established an infinitary extension of the Hales-Jewett Theorem in which the leftmost letters of all but one of the words were required to be vari...
208
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
195
click to vote
IGARSS
2010
15 years 4 months ago
2010
KIGAM and KNU are developing a ground-based Arcscanning SAR system (ArcSAR) mounted on a truck. The system achieves the coherent integration of radar returns from ground targets b...