536 search results - page 86 / 108 » A computer verified, monadic, functional implementation of t... |
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a novel 3D deformable surface that we call an active polyhedron. Rooted in surface evolution theory, an active polyhedron is a polyhedral surface whose vertice...
103
click to vote
ICSOC
2003
Springer
15 years 5 months ago
2003
Springer
Service-based approaches (such as Web Services and the Open Grid Services Architecture) have gained considerable attention recently for supporting distributed application developme...
PDP
2002
IEEE
15 years 4 months ago
2002
IEEE
Existing distributed middleware technologies and Enterprise Application frameworks lack in support to service flexibility from both the developer’s and user’s point of view. ...
217
click to vote
PADL
2009
Springer
16 years 11 days ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
169
click to vote
VLSISP
2011
14 years 6 months ago
2011
Machine-learning algorithms are employed in a wide variety of applications to extract useful information from data sets, and many are known to suffer from superlinear increases in ...