34 search results - page 1 / 7 » Logic of Determination of Objects: the Meaning of Variable i... |
IJAIT
2006
13 years 4 months ago
2006
This article constitutes a contribution to an analysis of the notion of variable. Whithin the framework of Combinatory Logic as a formalism without bound variables, the Logic of D...
NDJFL
2010
12 years 11 months ago
2010
The question of the origin of polyadic expressivity is explored and the results are brought to bear on Bertrand Russell's 1903 theory of denoting concepts, which is the main o...
CEC
2007
IEEE
2007
IEEE
Flexibility of design variables to pareto-optimal solutions in multi objective optimization problems
13 years 6 months ago
Abstract— In this paper, we propose the concept of the flexibility of design variables to Pareto-optimal solutions in MultiObjective Optimization problems. In addition, we intro...
CICLING
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. The need of the current Natural Language Processing applications to identify text segments that express the same meaning in different ways, evolved into the identificatio...
VMCAI
2010
Springer
14 years 1 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...