5456 search results - page 376 / 1092 » General Equilibrium Theory |
164
click to vote
ICALP
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
160
click to vote
ICIAR
2007
Springer
16 years 28 days ago
2007
Springer
A discrete regularization framework on graphs is proposed and studied for color image filtering purposes when images are represented by grid graphs. Image filtering is considered...
200
click to vote
ICRA
2006
IEEE
16 years 24 days ago
2006
IEEE
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...
177
click to vote
COMPGEOM
2006
ACM
16 years 23 days ago
2006
ACM
Let S be a finite set of n + 3 points in general position in the plane, with 3 extreme points and n interior points. We consider triangulations drawn uniformly at random from the...
166
Voted
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...