Sciweavers

309 search results - page 6 / 62
» his 2007
Sort
View
HIS
2003
13 years 9 months ago
On a Set Theory With Uncertain Membership Relations
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
Shunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi
HIS
2003
13 years 9 months ago
Decision Support Systems Using Hybrid Neurocomputing
This paper suggests a decision support system for tactical air combat environment where not much prior information is available about the decision regions. We proposed a combinati...
Cong Tran, Ajith Abraham, Lakhmi C. Jain
APAL
2002
56views more  APAL 2002»
13 years 7 months ago
Proof theory in the abstract
eory in the Abstract J. M. E. Hyland June 7, 2001 Dedicated to Anne Troelstra on the occasion of his 60th birthday: with great affection and respect, this small tribute to his infl...
J. M. E. Hyland
WAOA
2007
Springer
103views Algorithms» more  WAOA 2007»
14 years 1 months ago
Pricing Commodities, or How to Sell When Buyers Have Restricted Valuations
How should a seller price his goods in a market where each buyer prefers a single good among his desired goods, and will buy the cheapest such good, as long as it is within his bud...
Robert Krauthgamer, Aranyak Mehta, Atri Rudra
APAL
2007
65views more  APAL 2007»
13 years 7 months ago
Increasing the groupwise density number by c.c.c. forcing
We show that ℵ2 ≤ b < g is consistent. This work is dedicated to James Baumgartner on the occasion of his 60th birthday.
Heike Mildenberger, Saharon Shelah