2596 search results - page 358 / 520 » Gradual Typing for Objects |
105
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
In this paper, optimal control of linear time-invariant (LTI) systems over unreliable communication links is studied. The motivation of the problem comes from growing applications...
148
click to vote
FGCS
2008
15 years 4 months ago
2008
The purpose of ubiquitous computing is anywhere and anytime access to information within computing infrastructures that is blended into a background and no longer be reminded. Thi...
155
click to vote
CAD
2006
Springer
15 years 4 months ago
2006
Springer
We investigate 3D shape reconstruction from measurement data in the presence of constraints. The constraints may fix the surface type or set geometric relations between parts of a...
130
click to vote
CGF
2006
15 years 4 months ago
2006
Discrete curvature and shape operators, which capture complete information about directional curvatures at a point, are essential in a variety of applications: simulation of defor...
136
click to vote
IJCSA
2008
15 years 4 months ago
2008
ADAPTAPlan project provides dynamic assistance for reducing authors' effort in developing instructional design tasks using user modelling, planning and machine learning techn...