1982 search results - page 212 / 397 » Parametricity and dependent types |
150
click to vote
CONTEXT
2005
Springer
16 years 1 days ago
2005
Springer
This article concerns red-light running at intersections and deals with the impact of different types of control strategies. Red running occurrences at red onset are observed throu...
170
click to vote
FOSSACS
2005
Springer
16 years 21 hour ago
2005
Springer
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...
174
click to vote
GD
2005
Springer
16 years 19 hour ago
2005
Springer
This paper presents a new framework for drawing graphs in three dimensions. In general, the new framework uses a divide and conquer approach. More specifically, the framework divi...
161
click to vote
ICCS
2005
Springer
16 years 12 hour ago
2005
Springer
Abstract We describe the ‘Hierarchical as View’ approach to knowledge integration from heterogeneous sources. This is based on a novel representation called Layered Conceptual ...
206
click to vote
ICLP
2005
Springer
16 years 9 hour ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...