3394 search results - page 399 / 679 » Regular Object Types |
168
click to vote
ENTCS
2006
15 years 6 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 ...
197
click to vote
ENTCS
2006
15 years 6 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...
154
click to vote
ENGL
2007
15 years 6 months ago
2007
—There are several types of landform and objects in the virtual environmentsuchasobstacles,moveobjectsanditems…etc.Apathfindingavatar shouldevaluatethewholeenvironmentproperly,...
185
click to vote
ECCV
2008
Springer
16 years 8 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...
157
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
The energy-aware design for electronic systems has been an important issue in hardware and/or software implementations, especially for embedded systems. This paper targets a synth...