7924 search results - page 143 / 1585 » Non-Malleable Functions and Their Applications |
163
click to vote
TYPES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspeciļ¬cations, we present a particular instance concerned with the optimized compilation of a lazy language (called...
159
click to vote
ITNG
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper is the second on a series of four papers and presents the functional systematization implementation specification of a subsystem with integrative function based on a Se...
144
click to vote
CW
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses interactive function-based shape modeling where relatively small formulas are used rather than thousands of polygons. Interactive modification of the function...
147
click to vote
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
A three-level functional architecture for a team of mobile robots is described in detail, including the de nition of the role assigned to each level, the main concepts involved, a...
155
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Time/utility function time constraints (or TUFs) and utility accrual (UA) scheduling optimality criteria, constitute, arguably, the most effective and broadest approach for adapti...