3994 search results - page 297 / 799 » A Linear Logical Framework |
159
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
A new extremal distance tracking algorithm is presented for parametric curves and surfaces undergoing rigid body motion. The essentially geometric extremization problem is transfo...
144
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
We propose an object-oriented (OO) formulation and implementation of lazy/delayed evaluation by reusing and extending an existing linear recursive structure (LRS) framework with t...
165
click to vote
VL
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...
170
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
Modern digital circuits consist of logic gates implemented in the complementary metal oxide semiconductor (CMOS) technology. The time taken for a logic gate output to change after...
178
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
In this paper, we discuss a lightweight approach to eliminate the overhead due to implicit type arguments during higher-order unification of dependently-typed terms. First, we show...