2409 search results - page 450 / 482 » Building Components from Functions |
ICDE
2000
IEEE
14 years 11 months ago
2000
IEEE
This paper presents an overview of Microsoft SQLServer for Windows CE. This is a database engine designed for mobile and embedded applications. The focus of the presentation is on...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
We present a tool for automatically generating UI layouts for handheld devices based on design principles. This tool introduces a gestalt approach to visual interface design rathe...
EDBT
2006
ACM
14 years 10 months ago
2006
ACM
In [12] we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. In this demo we show how this architecture is le...
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
— We propose a novel solution to the problem of inverse kinematics for redundant robotic manipulators for the purposes of goal selection for path planning. We unify the calculati...