Sciweavers

5456 search results - page 206 / 1092
» General Equilibrium Theory
Sort
View
FCT
2007
Springer
16 years 20 days ago
Path Algorithms on Regular Graphs
We consider standard algorithms of finite graph theory, like for instance shortest path algorithms. We present two general methods to polynomially extend these algorithms to infi...
Didier Caucal, Dinh Trong Hieu
SIGDOC
2006
ACM
16 years 14 days ago
Workshop: communicating design patterns with TRIZ
This work will present elements of Genrich Altshuller’s Theory of Inventive Problem Solving, also known as TRIZ, and use them to describe the structural patterns found in the Ga...
John W. Stamey Jr., Ellen Domb
SIGIR
2006
ACM
16 years 14 days ago
Theoretical benchmarks of XML retrieval
This poster investigates the use of theoretical benchmarks to describe the matching functions of XML retrieval systems and the properties of specificity and exhaustivity in XML r...
Tobias Blanke, Mounia Lalmas
CADE
2008
Springer
15 years 8 months ago
Canonical Inference for Implicational Systems
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries....
Maria Paola Bonacina, Nachum Dershowitz
EUSFLAT
2007
106views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
Valverde-Style Representation Results in a Graded Framework
This paper generalizes the well-known representations of fuzzy preorders and similarities according to Valverde to the graded framework of Fuzzy Class Theory (FCT). The results de...
Libor Behounek, Ulrich Bodenhofer, Petr Cintula