Sciweavers

3381 search results - page 179 / 677
» Extending Dependencies with Conditions
Sort
View
CDC
2009
IEEE
161views Control Systems» more  CDC 2009»
15 years 11 months ago
Network structure preserving model reduction with weak a priori structural information
— This paper extends a state projection method for structure preserving model reduction to situations where only a weaker notion of system structure is available. This weaker not...
Enoch Yeung, Jorge M. Goncalves, Henrik Sandberg, ...
TABLEAUX
1998
Springer
15 years 10 months ago
Fibring Semantic Tableaux
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
Bernhard Beckert, Dov M. Gabbay
ATAL
2006
Springer
15 years 10 months ago
A technique for reducing normal-form games to compute a Nash equilibrium
We present a technique for reducing a normal-form (aka. (bi)matrix) game, O, to a smaller normal-form game, R, for the purpose of computing a Nash equilibrium. This is done by com...
Vincent Conitzer, Tuomas Sandholm
ICPR
2010
IEEE
15 years 9 months ago
Efficient Learning to Label Images
Conditional random field methods (CRFs) have gained popularity for image labeling tasks in recent years. In this paper, we describe an alternative discriminative approach, by exte...
Ke Jia, Li Cheng, Nianjun Liu, Lei Wang
ATAL
2008
Springer
15 years 8 months ago
Verifying Social Expectations by Model Checking Truncated Paths
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
Stephen Cranefield, Michael Winikoff