3116 search results - page 275 / 624 » Positively dependent types |
158
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Just like Remote Procedure Call (RPC) turned out to be a very effective OS abstraction in building client-server applications over LANs, Type-based Publish-SubTPS) can be viewed a...
131
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Previous grasp quality research is mainly theoretical, and has assumed that contact types and positions are given, in order to preserve the generality of the proposed quality meas...
186
Voted
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
This paper presents a paradigm for automatically generating complete camera specifications for capturing events in virtual 3D environments in real-time. We describe a fully implem...
157
click to vote
COLT
1989
Springer
15 years 10 months ago
1989
Springer
The present paper considers the effects of introducing inaccuracies in a learner’s environment in Gold’s learning model of identification in the limit. Three kinds of inaccu...
186
click to vote
DBPL
1991
Springer
15 years 10 months ago
1991
Springer
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...