2565 search results - page 260 / 513 » Object type constructors |
125
Voted
ENTCS
2006
15 years 3 months ago
2006
We formalize two proofs of weak head normalization for the simply typed lambdacalculus in first-order minimal logic: one for normal-order reduction, and one for applicative-order ...
146
Voted
ENTCS
2006
15 years 3 months ago
2006
In this paper we present a model transformation from a visual representation (VisualOCL) of the Object Constraint Language (OCL) to the textual one using graph transformation. Sta...
114
click to vote
ENGL
2007
15 years 3 months ago
2007
—There are several types of landform and objects in the virtual environmentsuchasobstacles,moveobjectsanditems…etc.Apathfindingavatar shouldevaluatethewholeenvironmentproperly,...
136
click to vote
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. There is a huge diversity of definitions of "visually meaningful" image segments, ranging from simple uniformly colored segments, textured segments, through sym...
109
Voted
ECOOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...