8838 search results - page 1566 / 1768 » Generalizing Domain Theory |
154
click to vote
OOPSLA
2009
Springer
16 years 19 days ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
172
click to vote
PPDP
2009
Springer
16 years 19 days ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
146
click to vote
SPIRE
2009
Springer
16 years 18 days ago
2009
Springer
The directed graph representation of the World Wide Web has been extensively used to analyze the Web structure, behavior and evolution. However, those graphs are huge and do not ...
162
Voted
AUTOMOTIVEUI
2009
ACM
16 years 18 days ago
2009
ACM
Auditory display research for driving has mainly focused on collision warning signals, and recent studies on auditory invehicle information presentation have examined only a limit...
146
click to vote
COMPGEOM
2009
ACM
16 years 18 days ago
2009
ACM
Nonlinear dimensionality reduction (NLDR) algorithms such as Isomap, LLE and Laplacian Eigenmaps address the problem of representing high-dimensional nonlinear data in terms of lo...