3229 search results - page 173 / 646 » Theories with the Independence Property |
168
click to vote
DM
2010
15 years 6 months ago
2010
The stability method is very useful for obtaining exact solutions of many extremal graph problems. Its key step is to establish the stability property which, roughly speaking, sta...
168
click to vote
JUCS
2007
15 years 6 months ago
2007
: For modeling real-life situations where not only the intensity of the relation existing between elements but also its polarity is important, we have proposed (see [Marcus and Tat...
181
click to vote
FUIN
2010
15 years 3 months ago
2010
Abstract. Cellular automata have rich computational properties and, at the same time, provide plausible models of physics-like computation. We study decidability issues in the phas...
136
click to vote
IAT
2006
IEEE
16 years 15 days ago
2006
IEEE
Game theory is popular in agent systems for designing auctions with desirable properties. However, many of these properties will only hold if the game and its properties are commo...
138
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
ion Refinement by Controllability and Cooperativeness Analysis Freddy Y.C. Mang and Pei-Hsin Ho Advanced Technology Group, Synopsys, Inc. {fmang, pho}@synopsys.com nt a new abstrac...