3738 search results - page 360 / 748 » Parametrized Logic Programming |
138
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
151
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
222
click to vote
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
The filter flow problem is to compute a space-variant
linear filter that transforms one image into another. This
framework encompasses a broad range of transformations
including...
120
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper presents a standing balance controller. We employ a library of optimal trajectories and the neighboring optimal control method to generate local approximations to th...
113
click to vote
FPL
2004
Springer
15 years 9 months ago
2004
Springer
Complex SoC and platform-based designs require integration of configurable IP cores from multiple sources. Even automatic compilation flows from a high-level description to HW/SW s...